-
Sep 6, 2026, 9:33 am126 ptsTrending
The Next Web
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 intermediate…
Trending Today on Tech News Tube
Tech News Tube is a real time news feed of the latest technology news headlines.
Follow all of the top tech sites in one place, on the web or your mobile device.
Follow all of the top tech sites in one place, on the web or your mobile device.
