Read news on Fermat with our app.
Read more in the app
Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out
Fermat's Last Theorem: Anthropic has beaten me to it
Fermat's Last Theorem in Lean 4
Solving Fermat: Andrew Wiles
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover
Lean proof of Fermat's Last Theorem [pdf]
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Fermat's Last Theorem – how it’s going
The Fermat's Last Theorem Project
