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!