Anthropic uses Claude to formalize proof of Fermat’s Last TheoremSeptember 5, 2026 Anthropic PBC has used Claude to create a computer-verifiable version of a famous, highly complicated mathematical proof. The company detailed…
