Model Releases

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

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

DGX agent5 Sept 2026article

model-releases siliconangle

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.

Anthropic says Claude worked 'largely autonomously' over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language (Anthropic)

Source: SiliconANGLE | 2026-09-05

Loading related sources…

Related