ended9월 5일· 1 sources
AI Agents Failed to Prove Fermat's Last Theorem. Then They Got a Shared To-Do List
Why it matters
On September 4, Anthropic published something that sounds like a headline from a decade in the future: the first complete, computer-checked proof of Fermat's Last Theorem, written by a team of Claude ...
1
Sources
+0
24h
—
Growth
16d
Active