AITechmemeabout 1 hour ago
Anthropic: Claude formalizes Fermat proof in Lean
1 min read
Anthropic reported Claude worked largely autonomously over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language. The effort demonstrates advanced long-horizon reasoning and mathematical capability in AI systems.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyAnthropic
