ワイルズによるフェルマーの最終定理の証明
フェルマーの最終定理の発表からワイルズの最終的解決まで350年以上が経っており、多数の数学者・アマチュアが n > 2 の場合および特定の指数に限定された場合の双方でフェルマーの定理を証明しようと試みた。およそ400万までの n に関しては、当初は手計算、のちにコンピューターによって正しいことが確認された。しかし一般的な証明はおろかそのような証明に至るヒントすら見つからなかった。