Ptja, enligt kommentaren är det ju en "near miss finder", men du undrar över Fermats stora (eller sista) sats?
Det finns iofs en bra bok skriven av Simon Singh som heter Fermats gåta (eller något snarlikt) som beskriver problemet på ett lekmannamässigt sätt.
Men väldigt kortfattat så säger Fermats stora sats att en viss diofantisk ekvation saknar lösningar.
http://sv.wikipedia.org/wiki/Fermats_stora_sats
I sin kopia av Diofantos bok Arithmetica skrev Fermat i marginalen "Jag har ett i sanning underbart bevis för detta påstående, men marginalen är alltför trång för att rymma detsamma". Sen dess har man sökt detta bevis, men inte funnit.
Satsen bevisades 1995 av Andrew Wiles och Richard Taylor ca 350 år efter Fermat påstod sig ha hittat ett bevis.
