Solving Fermat: Andrew Wiles

This was an excellent introduction to this topic:

https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem_(book) by Simon Singh

But I am not sure if the book covers the mistake and later correction. I has been more than a decade sine I read the book (and became a fan of the author).

Recent LLM dingers like the Jacobian Conjecture counterexample have challenged the efficient mathematics hypothesis. The JC counterexample was so small in degree and coefficient. It should have been a "low fruit" in the scheme of things, but alas, unpicked for 50+ years with considerable attention from good mathematicians.

With respect to FLT, my hopes have modestly increased that a truly marvelous demonstration of this proposition does in fact exist, that Fermat actually had it, and that it may someday be recovered!

edit: some emphasis on modest. But let me be romantic here!

This is the most offensively-themed serious site I have ever seen.

I have a truly marvellous comment on this, which this comment box is too small to contain.

From 2000.

Posting because he's retiring this year?