Fermat'ın Son Teoremi, 358 yıl boyunca çözülemeyen bir problemdi: "n > 2 için aⁿ + bⁿ = cⁿ denkleminin pozitif tam sayı çözümü yoktur." 1994'te Andrew Wiles, Taniyama-Shimura-Weil sanısını kullanarak bu teoremi kanıtladı. Kanıt, eliptik eğriler ve modüler formlar arasındaki derin bağlantıları ortaya koydu. Wiles'ın çözümü, modern matematiğin en büyük başarılarından biri kabul edilir.