The Next Web
The man paid to prove Fermat by hand says Claude did it in 11 days
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…
View original source — The Next Web ↗
Related stories
Indian Express
WorldJun 4, 2026 · 1 min
AI solved an 80-year maths problem. Here’s why this matters beyond mathematics
Indian Express
The Hindu
ScienceSep 4, 2026 · 1 min
AI, human insights work together to decode prime number mysteries
The Hindu
New Scientist
WorldJun 5, 2026 · 1 min
The maths meme that has been distracting mathematicians for a century
New Scientist
VnExpress
TechnologyJun 16, 2026 · 1 min
Meet MIT professor Gilbert Strang, who lays mathematical foundation for tools used by millions of AI engineers
VnExpress