Anthropic's Claude formalizes Fermat's Last Theorem
Working largely autonomously for 11 days, Claude wrote the first complete computer-checked proof, in Lean.
In 11 days, working largely autonomously, Claude produced the first end-to-end, computer-checked proof of FLT.
Official source
Formalizing Fermat's Last Theoremanthropic.com ยท published