theorem

Fermat's Last Theorem: Anthropic has beaten me to it

Fermat's Last Theorem in Lean 4

Formalizing Fermat's Last Theorem

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

A Century of Noether's Theorem

Lean proof of Fermat's Last Theorem [pdf]

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

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