המשפט האחרון של פרמה, המכונה גם המשפט הגדול של פרמה, ההצהרה כי אין מספרים טבעיים (1, 2, 3,
) x, y ו- z כך ש- x n + y n = z n, בהם n הוא מספר טבעי הגדול מ 2. לדוגמה, אם n = 3, המשפט האחרון של פרמה קובע כי אין מספרים טבעיים x, y ו- z קיימים כך ש x 3 + y 3 = z 3(כלומר, סכום של שתי קוביות אינו קוביה). בשנת 1637 המתמטיקאי הצרפתי פייר דה פרמה כתב בעותק שלו את האריתמטיקה מאת דיופנטוס מאלכסנדריה (בערך 250 צ '), "אי אפשר שהקוביה תהיה סכום של שתי קוביות, כוח רביעי להיות סכום של שתיים סמכויות רביעיות, או באופן כללי עבור כל מספר שהוא כוח גדול מהשני שהוא סכום של שתי מעצמות דומות. גיליתי הוכחה מדהימה באמת [למשפט הזה], אבל השוליים האלה קטנים מכדי להכיל אותה. " במשך מאות שנים מתמוטטים מתמטיקאים מהצהרה זו, שכן איש לא יכול היה להוכיח או להפריך את המשפט האחרון של פרמה. עם זאת, הוכחו הוכחות לערכים ספציפיים רבים של n. לדוגמה, פרמט עצמו עשה הוכחה למשפט אחר שפתר את התיק ביעילות עבור n = 4, ובשנת 1993, בעזרת מחשבים, הוא אושר לכל המספרים הראשוניים n <4,000,000. באותה תקופה, מתמטיקאים גילו כי הוכחת מקרה מיוחד של תוצאה מגיאומטריה אלגברית ותורת המספרים המכונה "השערת שימורה-תניאמה-וייל", תהיה שווה להוכחת המשפט האחרון של פרמה. המתמטיקאי האנגלי אנדרו ווילס (שהתעניין במשפט מגיל 10) הציג הוכחה להשערת שימורה-תניאמה-וייל בשנת 1993. עם זאת, שגיאה נמצאה בהוכחה זו, אך, בעזרת קודמו. התלמיד ריצ'רד טיילור, ווילס גילה סוף סוף הוכחה למשפט האחרון של פרמה, שפורסם בשנת 1995 בכתב העת Annals of Mathematics. מאות שנים שחלפו ללא הוכחה הובילו מתמטיקאים רבים לחשוד שפרמה טעה במחשבה שיש לו למעשה הוכחה.
