HomeBlog
Comments
KC •
September 9, 2026 9:56 AM
To add to @foo’s comment, it’s interesting that Wikipedia (currently without a source) seems a little confabulated on this finding. I’m also not sure what author it’s referring to.
Claude Fable 5.1 solved a 370-year-old cipher in forty-four minutes. This tracks with what I wrote about AIs doing mathematics: It’s good at things that involve lots of searching and testing.
HomeBlog
Comments
KC •
September 9, 2026 9:56 AM
To add to @foo’s comment, it’s interesting that Wikipedia (currently without a source) seems a little confabulated on this finding. I’m also not sure what author it’s referring to.

AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever - Decrypt

Claude helps complete first formalized proof of Fermat's Last Theorem

Anthropic's Claude formalizes Fermat's Last Theorem in 11 days

Claude formalised Fermat's Last Theorem in 11 days

Fermat's last theorem formalised by AI agents in just 11 days | New Scientist

Anthropic AI ‘formalizes’ proof of Fermat’s last theorem — a milestone for mathematics

AI Agents Failed to Prove Fermat's Last Theorem. Then They Got a Shared To-Do List

Anthropic uses Claude to formalize proof of Fermat’s Last Theorem - SiliconANGLE

L'intelligence artificielle d'Anthropic "formalise" le dernier théorème de Fermat, célèbre casse-tête mathématique, en seulement onze jours

Claude Fable 5 Hybrid Reasoning: Thinking vs. Speed Modes