Tento okraj není dost veliký

aby se něj vešel důkaz Fermatovy věty, napsal prý Fermat na okraj své knihy o řešení Diofantických rovnic. Není divu, že záhy po světoznámé Wilesově přednášce se na univerzitě v Cambridge objevil jiný nápis:

I´ve found an error in Your proof

but there isn´t enough place here

to show the details here...

Fermat

Bylo to sice na univerzitním záchodku, ale vzhledem k tomu, že to bylo na západ od Aše, byla na tom záchodku tabule a citovaný nápis byl spořádaně na tabuli. (Za opis nápisu děkujeme R. Koteckému.) Leč není šprochu, aby... Podle názoru některých matematiků však důkaz úplný. Wiles, jenž na důkazu pracoval sedm let osamoceně, ukázal předběžný rukopis svého důkazu malé skupině matematiků, kteří mu pamáhají dotáhnout detaily. Mnoho kroků v důkazu bylo založeno na rozšíření práce M. Flacha, který nyní učí na univerzitě v Heidelbergu. Jeden z argumentů na nichž byl jeden z kroků důkazu založen, není dostatečný (je rozdíl mezi chybný a nedostačující). Takže nejen Wiles, ale i většina matematiků věří, že důkaz bude dotažen do konce. Klíčový krok důkazu mezi odborníky zakódováný do tvrzení "Jestliže je tzv. Selmerova grupa malá, pak každá semistabilní eliptická křivka je modulární" byl potvrzen. Wiles neztrací naději ("Věřím, že budu v nejbližší budoucnosti schopen dokončit důkaz, tak jak jsem nastínil ve své přednášce v Cambridge." Víra v platnost věty přetrvává. Mnozí matematici citují slova holandského básníka Pieta Heima: "Problémy hodné útoku ukazují svoji cenu tím, že útoku odolávají".

Nature 366, 501, 1993