The River of Number Theory
Why have simple rules about integers kept generating new questions for millennia?
From Euclid's infinity of primes through Fermat, Gauss, and Wiles — 2,300 years chasing integer secrets.
Read the current
What changed between the cities?
- 1
300 BCE–1640
problem revival
AlexandriaToulouseFrom Endless Primes to Repeating Rules of Remainders
In a letter to Frénicle dated 18 October 1640, Fermat stated that if p is prime and p does not divide a, then a^(p−1) leaves remainder 1 modulo p. No complete proof survives in that letter. The theorem helps test primality, but its converse fails: some composite numbers pass related tests.
Proving That the Primes Never End — Book IX of the Elements → Seeing Repetition in Remainders Modulo a Prime — Fermat’s Little TheoremPlace this segment on the map - 2
1637–1770
problem correspondence
ToulouseSaint PetersburgA Marginal Claim Gained Its First Exponent-by-Exponent Proof
Euler used infinite descent to prove the case n = 3, but even he could not find a general proof and acknowledged the theorem’s difficulty.
A Line in the Margin → Euler Proves the Case n = 3Place this segment on the map - 3
1737–1859
conceptual synthesis
Saint PetersburgBerlinA Product over Primes Became Oscillation in the Zeta Function
Riemann’s Berlin Academy paper extended the zeta function into the complex plane and related its zeros to fluctuations in prime counting. The Riemann hypothesis says that the nontrivial zeros have real part one half. The prime number theorem was proved without the hypothesis in 1896, and even RH would not become a one-line next-prime formula.
Connecting a Product over Primes to an Infinite Series — Euler → Hearing Prime Fluctuations through Zeta Zeros — RiemannPlace this segment on the map - 4
1850–1955
problem reformulation
BerlinTokyoA Failed Integer Problem Opened a Bridge to Modular Forms
Yutaka Taniyama and Goro Shimura proposed a deep connection between elliptic curves and modular forms. At the time, no one knew it would unlock Fermat’s theorem. Taniyama died at thirty-one.
Kummer's Ideal Numbers — A New Horizon → The Taniyama–Shimura ConjecturePlace this segment on the map - 5
1955–1994
international theorem network
TokyoPrincetonModularity Closed the Door on Fermat's Counterexample
Working with Richard Taylor, Wiles found a new argument that repaired the gap. The two revised papers passed review and were published in 1995; the required modularity result then implied Fermat’s Last Theorem.
The Taniyama–Shimura Conjecture → The Proof Is CompletedPlace this segment on the map - 6
1949–2013
distributed problem network
PrincetonDurham, NHFrom Average Prime Laws to Infinitely Often Bounded Gaps
Zhang proved that infinitely many consecutive-prime gaps are smaller than seventy million. Later Maynard–Tao ideas and Polymath collaboration greatly reduced the bound, while the exact gap-two twin-prime conjecture remains open. Finite computation, recurrence below some fixed bound, and infinitely many exact gap-two pairs are three different claims.
Proving the Prime Number Theorem Again without Complex Zeros — Selberg and Erdős → Proving That Primes Come Boundedly Close Infinitely Often — Yitang ZhangPlace this segment on the map
How to read the lines
Each line is an editorial route through problems, texts, and practices. It does not imply one book moving in a straight line, a sole invention, or identical adoption everywhere.