Sooo genial ist der Satz eigentlich nicht, eher sein Beweis durch Andrew Wiles.
Der Satz besagt:
Die Gleichung
an + bn = cn
besitzt für n>2 keine Lösungen in den Natürlichen Zahlen.
Es handelt sich also um eine Art Verallgemeinerung des Satzes des Pythagoras, bzw. darum, dass diese Verallgemeinerung nicht möglich ist.
Fermat hat diesen Satz formuliert und behauptet, er habe einen Beweis - das hat er an den Rand eines Buches geschrieben, den Beweis jedoch nicht, weil der Rand "zu schmal" gewesen sei.
Heute bezweifeln die meisten Mathematiker, dass er wirklich einen Beweis hatte - denn immerhin hat es etwa 350 Jahre und völlig neue mathematische Bereiche gebraucht, um den Satz wirklich zu beweisen. Vermutlich hat er sich entweder aufgespielt oder er hat einen Beweis für einen Sonderfall gefunden, der sich aber nicht für alle n verallgemeinern lässt.