AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
In brief Anthropic says its Claude AI produced the first fully computer-checked proof of Fermat's Last Theorem in 11 days, largely on its own, writing what's now the longest math proof ever built. A human-led project...
Bitcoin 1 Minute
Here is the latest from the digital-asset markets: In brief Anthropic says its Claude AI produced the first fully computer-checked proof of Fermat's Last Theorem in 11 days, largely on its own, writing what's now the longest math proof ever built. A human-led project doing this exact same job has been running at Imperial College London since 2024 and isn't close to finished.
Claude beat it to the finish line. Kevin Buzzard, the mathematician leading that human project, reviewed Claude's proof and confirmed it holds up using nothing but math's most basic logical rules.
Crypto markets are watching this development closely as investors weigh its potential impact on prices.
