Khác biệt giữa bản sửa đổi của “Định lý lớn Fermat”

Khi nghe Ribet đã chứng minh liên kết của Frey là đúng, nhà toán học người Anh Andrew Wiles, người đã có một niềm đam mê từ thời thơ ấu với Định lý cuối cùng của Fermat và có nền tảng làm việc với đường cong elliptic và các lĩnh vực liên quan, quyết định thử chứng minh giả thuyết Taniyama-Shimura như một cách để chứng minh Định lý Cuối cùng của Fermat. Năm 1993, sau sáu năm làm việc bí mật về vấn đề này, Wiles đã thành công trong việc chứng minh đủ các giả thuyết để chứng minh Định lý Cuối cùng của Fermat. Bản báo cáo của Wiles có quy mô và phạm vi lớn. Một lỗ hổng đã được phát hiện trong một phần của bài báo gốc của ông trong quá trình xem xét lại và cần thêm một năm nữa và hợp tác với một học sinh cũ, Richard Taylor, để giải quyết. Kết quả là, chứng minh được công bố cuối cùng năm 1995 được kèm theo một báo cáo thứ hai nhỏ hơn cho thấy rằng các bước cố định là hợp lệ. Thành tựu của Wiles được báo cáo rộng rãi trong báo chí nổi tiếng và được phổ biến rộng rãi trong các cuốn sách và chương trình truyền hình. Các phần còn lại của dự đoán Taniyama-Shimura-Weil, bây giờ đã được chứng minh và được gọi là định lý Mô đun, sau đó được chứng minh bởi các nhà toán học khác, người đã xây dựng dựa trên công trình của Wiles từ năm 1996 đến năm 2001. Xứng đáng với chứng minh của ông, Wiles được vinh danh và nhận được nhiều giải thưởng, bao gồm giải thưởng Abel năm 2016.

 

 

Có một số cách khác để tuyên bố định lý cuối cùng của Fermat có toán học tương đương với câu lệnh ban đầu của vấn đề.