Claude completes first formalized proof of Fermat's Last Theorem

Anthropic said Claude completed the first formalized proof of Fermat's Last Theorem, converting the reasoning into a form Lean can verify.

This update bears on 2 kinds of work in 2 markets. Highest level accepted: L2 Partial automation.

Highest accepted

L2Partial automation

Work

2

Markets

2

Views

4.72M

The work it bears on

Highest level first. Open a kind of work to see everything else that moved it.

• L2Partial automation
  Assess practical performance and occupational competenceVocational skills and practical training
  L2 Partial automationClaimed L3 · Accepted L2From the publisher only
• L2Partial automation
  Develop algorithms and study computational propertiesComputing and engineering research
  L2 Partial automationClaimed L3 · Accepted L2From the publisher only

Published at