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: .

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 .

"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ó."