1+ week, 6+ hour ago   (429+ words) Anthropic says dozens of Claude agents worked almost autonomously for 11 days to produce the first complete, machine-verified proof of Fermat's Last Theorem in the Lean proof assistant. The project generated 13 million lines of code and proved over 30,000 theorems after early…...

1+ week, 18+ hour ago   (409+ words) The company said Claude wrote more than 13 million lines of Lean over 11 days and proved tens of thousands of supporting theorems. Anthropic posted the machine-checked sources to GitHub. Anthropic said on Sept. 4 that Claude completed the first complete computer-checked proof…...

1+ week, 1+ day ago   (148+ words) Anthropic said its AI model **Claude** produced a complete proof of **Fermat’s Last Theorem**. Claude worked mostly autonomously for 11 days to complete the first fully **computer-verified proof**. The work used **the theorem-proving tool Lean**, which Anthropic said marked a case…...

1+ week, 1+ day ago   (654+ words) We shared the resulting proof with Kevin Buzzard, who said: Fermat’s Last Theorem is an illustrative example.2 Fermat wrote down the theorem’s statement in the margin of a book, alongside a tantalizing note: For over 350 years, generations of mathematicians searched…...

4+ week, 49+ min ago   (1189+ words) Alain Faure A mathematical framework, a computational corpus, reproducible validation, 12 Faure Theorems, and now …...