1986년
1986년 이루어진 리벳의 엡실론 추측에 대한 증명으로, 페르마의 마지막 정리를 증명하기 위한 프라이 방법의 첫 단계가 해결되었다. 앤드루 와일스는 프라이 방법의 두 번째 단계인 타니야마-시무라 추론(모듈러성 정리)을 홀로 증명하기로 결심하였다.(타니야마-시무라 추론은 와일스의 증명 이후, 모듈러성 정리로 불린다.) 와일스는 6년동안 비밀리에 연구를 계속하였다. 와일스는 빅토르 콜리바긴과 마티아스 플라흐가 발전시킨 오일러 계를 확장하였다. 와일스는 이 방식에 익숙하지 않았기 때문에, 1993년 프린스턴 대학교 동료인 닉 카츠에게 자신의 연구 결과 검증을 부탁하였다. 1993년 중반 무렵, 와일스는 자신의 결과에 대해서 충분히 확신할 수 있었다. 와일스는 6월 21일에서 6월 23일까지 아이작 뉴턴 수리과학(수학) 협회에서 3번의 강의를 통해서, 자신의 연구 결과를 발표하였다. 와일스는 특히 불완전한 타원곡선에 대한 타니야마-시무라 추론의 증명을 제시하면서, 타원함수 추론에 대한 리벳의 증명을 함께 도입해서 페르마의 마지막 정리를 증명하였다.
리벳의 엡실론 추측에 대한 증명은 언제 이뤄졌어
페르마의 마지막 정리