I recall reading that there is an, incorrect, proof that would match the kind of proof we expect from Fermat and thus is believed to be the one he had in mind.
However I was unable to find it. Instead I found a discussion on how likely it is that he had a proof : https://hsm.stackexchange.com/questions/3/what-evidence-is-t...
