А ни у кого не возникало мыслей, что Ферма обманул про короткое доказательство??
Вообще, среди специалистов даже хорошо известно то доказательство, которое имел в виду Ферма, оно действительно простое, короткое и вполне на уровне науки того времени. Вот только оно недостаточно строгое
по современным критериям. И quest состоял как раз в том, чтобы найти не "то самое" доказательство, которое имел в виду Ферма, а полноценное, в то время как в математике требования к строгости и тщательности доказательств возросли.