Just because our proof is complicated does not mean Fermat's proof couldn't have been simple, as no exhaustive search of all possible short proofs has ever been carried out. Vanishingly unlikely yes, but not proven false, and after all it is exceedingly romantic. ;)