Get the latest tech news

Formalizing Fermat's Last Theorem

Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

None

Related news:

Theorem wants to stop AI-written bugs before they ship — and just raised $6M to do it

A Century of Noether's Theorem

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover