fermat's last theorem

Anthropic says Claude agents have produced a complete Lean formalization of Fermat’s Last Theorem, turning one of mathematics’ most famous settled results into a very large software artifact that can be checked by proof tools. If the released project withstands further independent examination...