the.com/theorem
a promise that, once proven, the universe is contractually obligated to keep forever
unproven cousinA conjecture is a theorem before it earns its diploma
longest proofClassification of finite simple groups spans tens of thousands of pages
Greek originFrom theorema, meaning a thing contemplated or beheld
machine-checkedComputers now verify proofs humans struggle to finish
Fermat's trollHis margin note waited 358 years for a proof