Fransız matematikçi Pierre de Fermat tarafından formüle edilen teorem, x, y ve z'nin pozitif tam sayılar olduğu durumda x^n + y^n = z^n eşitliğinin n>2 için herhangi bir çözümünün olmadığını iddia eder. Ancak, bu iddia uzun yıllar boyunca kanıtlanamadı. Andrew Wiles, 1994 yılında bu teoremi kanıtlamayı başardı ve matematik dünyasında büyük yankı uyandırdı.