Claude completes formal verification of Fermat’s Last Theorem
Anthropic reports that the Claude model produced a computer-checked proof of Fermat’s Last Theorem in 11 days, generating 13 million lines of Lean code.
Anthropic↗
AUDIENCES
Artificial intelligence researchers
AI news and practical stories for this audience.