You're viewing the discuss.systems public feed.

José A. AlonsoJose_A_Alonso@mathstodon.xyz
Sep 5, 2026, 7:23 AM
FLT: Anthropic has beaten me to it (one of their internal models, using the prove2.me platform, has formalized a complete proof of Fermat’s Last Theorem (FLT) in Lean). ~ Kevin Buzzard. https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/ #AI4Math #LeanProver #ITP
💬 1🔄 5⭐ 2

Replies

Hugo Vázquez Caraméshvc@mathstodon.xyz
Sep 5, 2026, 8:19 PM
@Jose_A_Alonso , Fermat’s Last Theorem is too relevant to have just a single formal verification... The more, the better. More paths, different views. If you can, keep on.
💬 0🔄 0⭐ 0