บทพิสูจน์ ของ ทฤษฎีบทสุดท้ายของแฟร์มา

แอนดรูว์ ไวลส์ (Andrew Wiles) นักคณิตศาสตร์ชาวอังกฤษจากมหาวิทยาลัยแคมบริดจ์ ได้พิสูจน์ทฤษฎีบทสุดท้ายของแฟร์มา โดยใช้เครื่องมือในการพิสูจน์คือ เรขาคณิตเชิงพีชคณิต (ในเรื่องเส้นโค้งเชิงวงรี และ รูปแบบมอดุลาร์) , ทฤษฎีกาโลอิส และ พีชคณิต เรื่อง ring of heck โดยได้รับความช่วยเหลือจาก ริชาร์ด เทย์เลอร์ (Richard Taylor) ซึ่งเป็นลูกศิษย์ของเขาเอง บทพิสูจน์ของเขาได้ตีพิมพ์ลงในวารสาร annals of mathematics 1995 Modular elliptic curves and Fermat's Last Theoremไวลส์ใช้เวลา 7 ปีในการพิสูจน์ทฤษฎีบทสุดท้ายของแฟร์มา เขาทำการพิสูจน์โดยลำพัง และเก็บเรื่องนี้เป็นความลับมาโดยตลอด (ยกเว้น ตอนตรวจทานครั้งสุดท้าย ซึ่งเขาได้ขอความช่วยเหลือจากเพื่อนของเขาที่ชื่อ Nick Katz) ในวันที่ 21-23 มิถุนายน ค.ศ. 1993 เขาก็ได้แสดงบทพิสูจน์ของเขาที่มหาวิทยาลัยเคมบริดจ์ ผู้เข้าฟังการบรรยายครั้งนั้นต่างก็ประหลาดใจไปกับวิธีการต่างๆ ในบทพิสูจน์ของเขา ต่อมา เขาก็พบข้อผิดพลาดในบทพิสูจน์ แต่ไวลส์และเทย์เลอร์ยังไม่ละทิ้งความพยายาม เขาใช้เวลาอยู่หนึ่งปีในการแก้ไข และในเดือนกันยายน ค.ศ. 1994 เขาก็ได้เสนอบทพิสูจน์ใหม่อีกครั้งโดยใช้วิธีการที่แตกต่างไปจากเดิม เรื่องการพิสูจน์นี้จึงเป็นเรื่องที่น่าจดจำเลยทีเดียว