MonitoringAI & TechOtherFirst tracked 2026-09-05Last changed 2026-09-05
Current outcome
Anthropic's Claude AI independently produced the longest formal proof ever, solving Fermat's Last Theorem in 11 days, a feat that a human-led project has not yet completed.
Progress timeline
1 material updates- #01
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Anthropic's Claude AI independently produced the longest formal proof ever, solving Fermat's Last Theorem in 11 days, a feat that a human-led project has not yet completed.
Source evidence: Decrypt