Draw a random theorem from 48 of mathematics' greatest hits -- Pythagoras to Gödel -- each explained in plain language with the story of why it matters.
A theorem is a mathematical statement proven to follow from axioms and previously established results, which is why mathematics accumulates rather than being revised. Proof is what separates it from a conjecture -- a statement believed true but not yet established -- and no amount of confirming examples suffices, since a single counterexample refutes it. Supporting results proved along the way are lemmas, and easy consequences are corollaries. Some proofs run to hundreds of pages or rely on computer verification, which has prompted real debate about what it means for a proof to be understood.
This generator draws from a curated list of 48 mathematical theorems across four fields -- Geometry, Number Theory, Algebra & Analysis, and Probability, Logic & Infinity -- each stated in plain language, from the Pythagorean theorem to Gödel's incompleteness.
Every result here is drawn using crypto.getRandomValues() -- the Web Crypto API's cryptographically secure randomness -- instead of Math.random(), so it's genuinely unpredictable, not just statistically random. Learn more.
Students use it to meet the landmarks of mathematics beyond whatever course they're stuck in. Teachers use it for theorem-of-the-week features, math circle leaders use it for discussion prompts, and the curious use it to find out what mathematicians actually proved.
Generate draws one theorem at random using the site's cryptographically secure randomness, guaranteed not to repeat whatever result is currently showing in single-result mode. Each single result states what the theorem says and why it matters, without assuming specialist background; the Field filter narrows the pool.
A sample of what this generator can draw, spread evenly across the full list:
Faithful but translated -- each description states what the theorem genuinely claims in everyday language, sacrificing formality but not truth. Nothing is dumbed into wrongness.
It sticks to proven theorems -- that's what makes them theorems -- but descriptions mention famous questions a result touches, like how Fermat's Last Theorem spent 350 years as a conjecture.
Strong contenders include Banach-Tarski (one ball becomes two identical balls) and Cantor's proof that some infinities are larger than others -- both are in the Probability, Logic & Infinity field.
Mathematician · Famous Equation · Math Symbol · Unit of Measurement