Get the latest tech news

Fermat's Last Theorem in Lean 4

Contribute to anthropics/fermats-last-theorem development by creating an account on GitHub.

None

Related news:

Formalizing Fermat's Last Theorem

Solving Fermat: Andrew Wiles

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