18:30
2026-09-04
xenaproject.wordpress.com
artificial-intelligence
FLT: Anthropic has beaten me to it
Anthropic announced that one of its internal AI models, using the prove2.me platform, has formalized a complete proof of Fermat's Last Theorem in the Lean proof assistant, completing the final theorem…