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 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).

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?