AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
What happened
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
Why it matters
The development may change operating conditions or market expectations around Anthropic. Further confirmation and measurable outcomes matter.
Affected entities
AnthropicNeutral
View evidence
1 reports · 1 original report · 1 independent
- DecryptPrimary source · Supports · EN · 100%AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever ↗
Claims
- AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever Observed
Conflicts
No material conflict detected in the available evidence.
Timeline
- First reported
Market move following event
Market reaction is not yet available for this asset and time window.
Score explanation
Confidence · formula confidence-2.1.0
Source trust80
Independent corroboration51
Primary evidence35
Claim consistency82
Extraction confidence82
Attribution quality90
Impact · formula impact-2.1.0
Event magnitude45
Market relevance88
Entity significance82
Market breadth54
Novelty68
Urgency55
Ranking · formula rank-1.0.0
Confidence factor0.8425
Freshness factor0.9996
Breaking bonus0