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

Anthropic’s AI model, Claude, has achieved a milestone in mathematical computing by autonomously formalizing Fermat’s Last Theorem in just 11 days. This feat involved producing 13 million lines of Lean code and 29,500 intermediate theorems to complete the proof, a process previously anticipated to take years. Claude’s success is indicative of significant advancements in AI capabilities, and it may influence its standing in the competitive AI model landscape. The achievement underscores Anthropic’s competitive position in pushing the boundaries of AI technology. Key Takeaways Claude’s rapid formalization of Fermat’s Last Theorem appears consistent with increased confidence in Anthropic’s AI capabilities. Market pricing suggests participants view this development as supportive of Anthropic’s model being a competitive leader. The achievement may indicate a shift in perception regarding AI’s role in automating complex mathematical proofs. What to Watch Observers will be keen to see if Anthropic’s Claude maintains its standing atop AI model leaderboards following this breakthrough. The market’s response, particularly in the “Best AI Model by September 2026” category, will be critical, a...