La prueba reciente del último teorema de Fermat se lleva a cabo probando un caso especial de la profunda conjetura de Taniyama-Shimura que relaciona las curvas elípticas sobre los racionales con las formas modulares; dicha conjetura ha sido también completamente demostrada.