c. 1800 BCEPlimpton 322 and the scribal schools
A Babylonian clay tablet now at Columbia University lists fifteen rows of Pythagorean triples in sexagesimal notation, evidence of systematic number theory a thousand years before Pythagoras. It was produced by a scribal culture whose tablet-house schools trained professional calculators for temple and palace administration — the first institutional mathematics education anywhere.
c. 300 BCEEuclid's Elements in Alexandria
Working at Alexandria under Ptolemy I, Euclid organized Greek geometry into thirteen books of definitions, postulates and 465 propositions, each proved from what came before. The Elements fixed the axiomatic method as mathematics' standard of truth and remained a working textbook for over two thousand years — printed in more editions than almost any book except the Bible.
c. 820Al-Khwarizmi names algebra in Baghdad
At Caliph al-Ma'mun's House of Wisdom, Muhammad ibn Musa al-Khwarizmi wrote a treatise on solving equations whose key operation, al-jabr ("restoring"), became the word algebra. His arithmetic text carried Indian decimal numerals into the Islamic world and later Europe, and the Latin corruption of his name — Algoritmi — became "algorithm."
1545Cardano publishes the cubic — and ignites a feud
Gerolamo Cardano's Ars Magna printed general solutions to cubic and quartic equations, including the cubic method Niccolò Tartaglia had confided to him in 1539 under an oath of secrecy. Tartaglia's public fury, and the equation-solving duels of the era — where mathematicians defended their livelihoods in open contest — show how competitive, and how professional, Renaissance mathematics had become.
1687Newton's Principia
Isaac Newton's Philosophiæ Naturalis Principia Mathematica, published only because Edmond Halley paid the printing costs himself, derived the motion of planets, moons and tides from three laws and universal gravitation. The ensuing priority war with Leibniz over the calculus split British and continental mathematics for a century — the field's most famous lesson in the cost of pride.
1900Hilbert sets the century's agenda
At the International Congress of Mathematicians in Paris on 8 August 1900, David Hilbert presented ten of a list of twenty-three unsolved problems, declaring that in mathematics "there is no ignorabimus" — no unknowable. The list steered research for a hundred years; several problems, including the Riemann hypothesis, remain open today.
1931Gödel proves incompleteness
A 25-year-old Kurt Gödel in Vienna proved that any consistent formal system rich enough for arithmetic contains true statements it cannot prove. The result demolished Hilbert's program of securing all mathematics on a complete axiomatic foundation, and permanently changed what mathematicians can honestly claim about their own subject.
1976The four color theorem falls to a computer
Kenneth Appel and Wolfgang Haken of the University of Illinois proved that four colors suffice for any planar map, using about 1,200 hours of computer time to check nearly two thousand configurations no human could verify by hand. The department franked its mail "FOUR COLORS SUFFICE" while philosophers argued over whether an uncheckable proof counts — the first great crisis of computer-assisted mathematics.
1995Wiles proves Fermat's Last Theorem
After seven years working in secrecy in his Princeton attic study, Andrew Wiles announced a proof of Fermat's Last Theorem at Cambridge in June 1993 — then spent fourteen months repairing a gap a referee found, closing it with Richard Taylor in September 1994. The proof, published in the Annals of Mathematics in 1995, ended a 358-year-old challenge scribbled in a margin.
2025AI reaches olympiad gold
Systems from Google DeepMind and OpenAI performed at gold-medal standard on International Mathematical Olympiad problems in July 2025, a year after DeepMind's AlphaProof reached silver level. With the Lean proof assistant's mathlib library passing a million-plus lines of formalized mathematics, the profession began seriously debating which parts of proving would remain human work.