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. Anthropic says its Claude AI just wrote the longest math proof ever made, and…

AI & Crypto

Read More

Politics

Don't Miss!