
Claude Reportedly Formalizes Fermat in 11 Days
Anthropic says dozens of Claude agents produced a formalization of Fermat’s Last Theorem in eleven days. The effort reportedly generated 13 million lines of Lean code and proved 30,300 intermediate theorems, though the mathematician involved argues that the result says little about mathematical understanding.
The Next Web (TNW) · 9d ago



















