06:43
2026-09-05
officechai.com
artificial-intelligence
Claude Works Autonomously For 11 Days To Generate First Computer-Checked Proof Of Fermat’s Last Theorem
Anthropic's AI model Claude has produced the first complete, computer-verified proof of Fermat's Last Theorem, working autonomously for 11 days to formalize Andrew Wiles's 129-page proof into 13 milli…