Anthropic Says Claude Produced Full Proof of Fermat’s Last Theorem, Verified With Lean
JH Kim
Summary
- Anthropic said its AI model Claude produced a complete proof of Fermat’s Last Theorem.
- Claude worked mostly autonomously for 11 days to complete the first fully computer-verified proof.
- The work used the theorem-proving tool Lean, which Anthropic said marked a case of AI formally verifying a complex mathematical proof.
Forecast Trend Report by Period
Anthropic said its AI model Claude produced a complete proof of Fermat’s Last Theorem and had it verified by computer using the theorem-proving tool Lean.
Cointelegraph reported on September 4 that Claude worked mostly autonomously for 11 days to complete what Anthropic described as the first fully computer-verified proof of Fermat’s Last Theorem.
The effort used Lean, a theorem-proving tool that formalizes mathematical proofs so a computer can check them for logical errors.
Anthropic said the achievement shows an AI model can carry out complex mathematical proof work over an extended period and have it formally verified.
JH Kim
reporter1@bloomingbit.ioHi, I'm a Bloomingbit reporter, bringing you the latest cryptocurrency news.