Anthropic uses Claude to formalize proof of Fermat’s Last Theorem

SiliconANGLESeptember 5, 2026en

Anthropic PBC has used Claude to create a computer-verifiable version of a famous, highly complicated mathematical proof. The company detailed the project in a blog post published today. A proof is a series of arguments that proves a mathematical hypothesis is correct. The proof that Anthropic tackled verifies a hypothesis called Fermat’s Last Theorem. Originally […] The post Anthropic uses Claude to formalize proof of Fermat’s Last Theorem appeared first on SiliconANGLE .

This is a short summary published by AI Global Wire. The full article is owned and hosted by SiliconANGLE — open it there to read it in full.

• Anthropic
• Verktyg