En 1995, Andrew Wiles y Richard Taylor probaron un caso especial de la conjetura, suficiente para demostrar el último teorema de Fermat.