mastodon — José A. Alonso — 5 Sep 2026
FLT: Anthropic has beaten me to it (one of their internal models, using the prove2.me platform, has formalized a complet…
#ai-mathematics #formal-verification #automated-theorem-proving
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