The man paid to prove Fermat by hand says Claude did it in 11 days
This story is from 2026-09-06. It is preserved in the archive; the latest stories are on the live feed.
A mathematician holds a five-year grant to formalise Fermat’s Last Theorem. It has been done for him in eleven days, and he says the result tells us nothing about mathematics. Anthropic published the proof on Friday. Dozens of Claude agents wrote 13 million lines of Lean code and proved 30,300 inte…
Read the full story at The Next Web ↗
Timeline · 1 report
- 2026-09-06 13:33 · The Next Web
The man paid to prove Fermat by hand says Claude did it in 11 days