Anthropic uses Claude to formalize proof of Fermat’s Last Theorem
Anthropic PBC has used Claude to create a computer-verifiable version of a famous, highly complicated mathematical proof.
It is a fresh source-backed signal about where AI products, research, and infrastructure are moving.