Story thread · 2 reports / 2 sources
An AI Formalized and Verified Fermat’s Last Theorem in 11 Days, a Task Expected to Take Years
zmescience.com · 6d
How the coverage leans
Across 2 sources · syndicated copies counted once
Claude did not rediscover the proof. It made the existing one machine-checkable.
First report: Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days — nature.com, 8d
The conversation · 0
Sign in to join the conversation.
No comments yet — start the thread.