Năm 1995, tạp chí chính thức công bố: 8. Kết Luận: Di Sản Vĩ Đại Chứng minh của Andrew Wiles không chỉ giải một bài toán 358 tuổi, mà còn mở ra các hướng nghiên cứu mới trong toán học hiện đại: chương trình Langlands, lý thuyết biểu diễn Galois, và cuối cùng là định lý modularity hoàn chỉnh (Breuil–Conrad–Diamond–Taylor, 2001).
Wiles công bố bài giảng về "Các dạng modular, đường cong elliptic và biểu diễn Galois". Đến cuối bài giảng thứ ba, ông lặng lẽ viết lên bảng: "Do đó, định lý Fermat đã được chứng minh". Cả hội trường vỡ òa. 7. Khoảnh Khắc Sụp Đổ và Tái Thiết Ngỡ như chiến thắng đã đến, nhưng quá trình phản biện cho thấy một lỗ hổng nghiêm trọng trong bước chứng minh về "hệ thống Euler" do Wiles sử dụng. Ông không thể sửa nó ngay lập tức.
Năm 1955, hai nhà toán học Nhật Bản Taniyama và Shimura đưa ra một phỏng đoán táo bạo: . dinh ly lon fermat chung minh
Nhiều người cho rằng Wiles đã thất bại. Ông định công bố lỗi và bỏ cuộc.
Wiles làm việc một mình, chỉ thỉnh thoảng trao đổi với một vài đồng nghiệp tin cậy. Ông kết hợp các kỹ thuật hiện đại nhất từ lý thuyết Galois, biểu diễn modular, và lý thuyết Iwasawa. Năm 1995, tạp chí chính thức công bố: 8
"Tôi đã tìm ra một chứng minh thực sự kỳ diệu cho mệnh đề này, nhưng lề sách quá hẹp để chứa nó."
Ngay sau đó, Ernst Kummer phát hiện rằng lỗi đó là thật, và ông đã cứu vãn ý tưởng bằng cách đưa ra khái niệm (regular primes). Ông chứng minh định lý Fermat đúng cho mọi số nguyên tố đều, và chỉ có một số ít ngoại lệ. Đến cuối đời Kummer, định lý đã được chứng minh cho mọi số mũ (n < 100) (trừ vài trường hợp). 5. Bước Ngoặt Lớn: Phỏng Đoán Taniyama-Shimura Sang thế kỷ 20, định lý Fermat vẫn chưa chứng minh hoàn chỉnh. Nhưng một ý tưởng hoàn toàn mới nảy sinh: Liên hệ giữa phương trình Fermat với đường cong elliptic và dạng modular . Đến cuối bài giảng thứ ba, ông lặng
Nhưng đến tháng 9/1994, trong cơn tuyệt vọng, Wiles nảy ra ý tưởng kết hợp kỹ thuật cũ của mình với một phương pháp mới từ học trò cũ Richard Taylor. Họ nhận ra rằng thay vì dùng hệ thống Euler, có thể dùng kết hợp với một bổ đề bổ sung.