Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11…
- Claude turned a famous mathematical proof into millions of checkable code lines
- Anthropic says Claude completed years of expected work in 11 days
- The massive proof contains 13 million lines of Lean code
Anthropic has used its Claude artificial intelligence system to produce a fully computer-checked version of a famous, centuries-old mathematical proof.
The proof addresses Fermat's Last Theorem, a hypothesis first proposed by the mathematician Pierre de Fermat back in the year 1637.
Mathematician Andrew Wiles produced the very first full mathematical proof of the theorem back in 1995, spanning 129 pages total in length.
A proof rebuilt for machines
Formalizing a proof simply means converting its mathematical reasoning into code that computers can check automatically without any human assistance.
Anthropic says it expected the entire task to take several years, based on how mathematicians first described the project.
Instead, the company says its internal research model finished the...
Copyright of this story solely belongs to www.techradar.com. To see the full text click HERE
