The largest computer-checked proof ever built now exists
Anthropic said Claude produced the first end-to-end formal proof of Fermat's Last Theorem in Lean — largely autonomously, in 11 days, writing 13 million lines of code and …
Anthropic said Claude produced the first end-to-end formal proof of Fermat's Last Theorem in Lean — largely autonomously, in 11 days, writing 13 million lines of code and …