Claude Formalizes Fermat's Last Theorem in 11 Days
Anthropic used Claude to create a computer-verifiable version of the proof of Fermat's Last Theorem, a 129-page mathematical proof originally developed by Andre...
GENERATIVE AI RESEARCH
1 article
1 article
Anthropic used Claude to create a computer-verifiable version of the proof of Fermat's Last Theorem, a 129-page mathematical proof originally developed by Andre...