Read news on theorem with our app.
Read more in the app
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
A Straightforward Explanation of the Good Regulator Theorem
Monsky's Theorem
Fermat's Last Theorem – how it’s going
Exact Polygonal Filtering: Using Green's Theorem and Clipping for Anti-Aliasing
A seventh-grader student found a beautiful proof to Thales' Theorem (2002)
Teens who discovered new way to prove Pythagoras' theorem uncover more proofs
