SENSEX
NIFTY
GOLD
USD/INR

Weather

image 35    C

Top News News

TNW

Top News / TNW

details

The man paid to prove Fermat by hand says Claude did it in 11 days

A mathematician holds a five-year grant to formalise Fermats 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 intermediate theorems. They used 29,500 [] This story continues at The Next Web

6 Sep 2026 7:03 pm