A flaw in the proof of Fermat's theorem

[This message is not strictly relevant to the Types Forum.  But I am
circulating it anyway, as a matter of general interest.  Replies by
e-mail to Mamede please.  Mamede, could you please post a summary or
pointer to your final article, for those of us that are interested?
-- Philip Wadler, moderator, Types Forum]

Please, whoever  knows  anything  about A FLAW  IN THE RECENT PROOF OF

Please inform us! 

We need to write a report on the situation to a Brazilian magazine and
we are looking for fresh news.

Thanks a lot,

Mamede Lima-Marques
Center for Logic and Epistemology
Campinas  -  Brazil