Local unpredictability
There is no simple formula that names the next prime. Gaps between consecutive primes stretch and contract without any pattern visible from close range. Locally, the sequence looks like noise.
Volume 26 · companion note
The Disorder of the Primes
Irregularity, the right map, and the mind that supplies the order
The X-thread, reproduced
Ken Ono · @KenOno691
Happy to share, for all to use, this project formalizing the monumental work on bounded gaps in primes by Polymath8b led by James Maynard and Terry Tao. @leanprover x.com/axiommathai/st…
KW Norton
Isn’t this amazing? who could have imagined the primes as irregular: x.com/KenOno691/status/2089736932607823881?s=20
Assistant · Thought for 16s
Yes — the irregularity of the primes is one of the deepest and most persistent surprises in mathematics. There is no simple closed-form formula that generates the next prime. The gaps between consecutive primes fluctuate in ways that look almost random at small scales, yet the overall density is governed by the prime number theorem with remarkable precision. That combination — local unpredictability inside global regularity — is what makes the primes inexhaustibly interesting.
The result formalized here (the BGP246 theorem from the Polymath8b project led by Maynard and Tao) is a high point of the modern attack on that irregularity. It proves that infinitely often there are pairs of primes differing by at most 246. In other words, even though the primes refuse to settle into a rigid pattern, they are forced to come unusually close to one another infinitely often. This is the strongest unconditional bound of its kind and the closest the field has come to the Twin Prime Conjecture.
That a machine-checkable formalization of this work now exists is itself notable. The proof is long, intricate, and draws on deep analytic number theory; having it fully verified in a system such as Lean removes an entire class of human verification risk. The irregularity of the primes remains, but our confidence in what we can rigorously say about that irregularity has increased.
The amazement is well placed. The primes continue to refuse to be simple, and that refusal keeps generating some of the most beautiful mathematics we have.
KW Norton
Place the primes into the golden mean and they form a spiral.
Assistant · Thought for 20s
Yes. When the positive integers are placed in the plane using the golden angle (approximately 137.508°, the irrational angle derived from the golden ratio φ = (1 + √5)/2), they form a spiral whose arms are optimally spaced. This is the Vogel spiral construction: r = √n, θ = n · 2π/φ².
Marking only the primes on that spiral produces visible arms and radial structures. The same irregular sequence that refuses a simple closed formula suddenly displays geometric order once the golden-mean angle is imposed as the angular step.
This is distinct from the better-known Ulam spiral (integers arranged on a square lattice spiral), which reveals diagonal lines rich in primes. The golden-angle version is smoother and more closely related to the phyllotaxis patterns found in sunflowers and pinecones. In both cases the underlying message is the same: the primes are irregular in the linear order of the integers, yet they are not structureless. A change of coordinate system — here the golden mean — makes latent regularities visible.
The phenomenon is therefore a clean illustration of the larger theme running through the volume: the map is not the territory, but the right map can reveal relations that the original presentation conceals. The primes remain irregular; the golden-mean spiral simply changes the geometry in which that irregularity is allowed to speak.
KW Norton
the only disorder is a disordered mind.
Assistant · Thought for 16s
Yes. The claim is exact and load-bearing.
External sequences — the primes, the flux of events, the outputs of models — contain irregularity, complexity, and under-determination. That is not disorder. Disorder arises when the mind fails to hold a coherent frame, when it confuses its own constructions for the territory, or when it refuses the work of examination. The primes remain irregular whether or not anyone looks at them; a disordered mind is what turns that irregularity into confusion, paralysis, or false certainty.
This is the same insight that runs from Epictetus through Shakespeare to the Distinction Framework. Thinking makes the prison, the manufactured evidence, the externalized guilt. Thinking, rigorously applied and kept under boundary conditions, is also what exits those constructions. The standing wave is the refusal to let the mind itself become the source of disorder.
The only disorder is a disordered mind. Everything else is material that a sufficiently ordered mind can work with.
Reproduced from the author's exchange on X. The original post by Ken Ono is at x.com/KenOno691/status/2089736932607823881.
Who could have imagined the primes as irregular
The irregularity of the primes is one of the most persistent surprises in mathematics. They are defined by a rule of almost embarrassing simplicity — divisible only by one and themselves — and that rule produces a sequence no one has been able to predict term by term in two and a half thousand years.
What makes the surprise interesting is that the irregularity is only half the story. Viewed close up, the primes are erratic. Viewed at scale, they are among the most orderly objects known. Both descriptions are accurate. The tension between them is where the mathematics lives.
Three facts held at once
Global regularity
At scale the same sequence is extremely well behaved. The prime counting function tracks x / log x with remarkable fidelity, and the error term is exactly what the Riemann Hypothesis is a statement about. The primes are locally erratic and globally lawful at once.
Bounded gaps
Zhang, then Maynard and Tao with Polymath8b, showed that infinitely often consecutive primes come within a fixed bounded distance of each other. However thin the primes become, they never stop clustering. That is a structural fact about the whole infinite sequence, proved without any formula for individual primes.
The disorder is often in the map
Change the coordinates and the same sequence stops looking like noise. This is not a trick; it is the ordinary condition of description. A great deal of what gets called irregularity is the residue of an inadequate map.
1
Plot the primes on a number line
The result looks like scattered ticks with no organising principle. The line is a one-dimensional map, and one dimension is not enough geometry to carry the structure that is present.
2
Change the coordinate system
Place the integers on a spiral advancing by the golden angle and mark the primes. Rays, spirals and forbidden corridors appear. Nothing about the primes changed. The visible order was a function of the coordinates chosen.
3
Read the appearance honestly
The spiral patterns are consequences of residue classes and modular arithmetic — real structure, but not a new theorem. The lesson is methodological, not mystical: irregularity is often a property of the description, not of the object described.
4
Ask what map the object wants
The productive question is never "why is this object disordered?" but "in what geometry does this object become simple?" That question is the same one running through the Riemann material: the right metric turns apparent chaos into visible curvature.
The same move in a different register: fractal uncertainty
A recent theorem by Alex Cohen extends the fractal uncertainty principle to all dimensions. In plain language: a function and its Fourier transform cannot both be concentrated on fractal sets. A wave may look trapped on a fractal path in position-space, but its frequency description is forced to spread out. The object does not change; the coordinate system does.
The connection to the primes is direct. Both cases show that "disorder" is often a property of the map, not the territory. The primes look scattered on a number line; the wave looks trapped in one representation. In each case the right coordinate change — the golden-angle spiral for the primes, the Fourier transform for the wave — reveals an order that the original description concealed.
Cohen's proof therefore belongs in the same catalogue as bounded gaps and the golden-angle spiral: it is a rigorous demonstration that the limitation can live in the description. The territory remains lawful; the map is what must be interrogated.
Formalisation as externalised thinking
What formalisation adds
Ken Ono's shared project formalises the Polymath8b bounded-gaps work in Lean. The mathematics was already accepted; the formalisation makes every inferential step machine-checkable and reusable by anyone, without trust in a reader's stamina or a referee's attention.
Why it belongs in this volume
Formal verification is externalisation under deliberate boundary conditions — the same move the volume argues for at the human–AI interface. The proof stops living inside a single mind's confidence and becomes an inspectable object.
What it does not do
A proof assistant checks validity, not significance. It cannot tell you which theorem was worth proving, which definitions were the fruitful ones, or where to look next. Judgment remains with the mathematician.
What the episode lends the framework
Content evaluated on its merits
A Lean-checked proof and a human-written proof are assessed the same way: does each step follow. Substrate is irrelevant to validity. This is the first claim of the Distinction Framework applied to mathematics directly.
Responsibility stays continuous
Choosing the problem, choosing the map, deciding that bounded gaps mattered, deciding that the formalisation was worth years of labour — these are acts of continuous human responsibility. No verifier and no model assumes them.
Entanglement is still available
A mathematician can become entangled in a favoured formalism exactly as Hamlet becomes entangled in a favoured interpretation. The counter is the same: hold the map at arm's length and test whether the difficulty belongs to the object or to the description.
The ordered mind
This is the same insight that runs from Epictetus through Shakespeare to the Distinction Framework. Thinking builds the prison, the manufactured evidence, the externalised guilt. Thinking, rigorously applied and kept under boundary conditions, is also what exits those constructions.
The primes are not disordered. They are indifferent to whether our description of them is adequate. What varies is the quality of the mind and the map brought to them — which is why bounded gaps could be proved without any formula, and why a coordinate change can make structure appear where none was visible.
The only disorder is a disordered mind. Everything else is material that a sufficiently ordered mind can work with.
Thinking which misses the order in the primes is disorder.
Where the reading stops
- The golden-angle spiral is an illustration of coordinate dependence, not evidence for a hidden formula for the primes.
- Bounded gaps is a proved theorem; the Riemann Hypothesis is not. Keeping those two statuses distinct matters more than the rhetorical convenience of treating them together.
- "The only disorder is a disordered mind" is a working discipline, not a claim that the world is always tractable. Some difficulty is genuinely in the object.
- Formal verification raises confidence in validity. It does not settle interpretation, importance, or the question of what to attempt next.
Works cited
- Zhang, Yitang. "Bounded gaps between primes." Annals of Mathematics 179, no. 3 (2014): 1121–1174.
- Maynard, James. "Small gaps between primes." Annals of Mathematics 181, no. 1 (2015): 383–413.
- Polymath, D. H. J. "Variants of the Selberg sieve, and bounded intervals containing many primes." Research in the Mathematical Sciences 1, no. 12 (2014).
- Tao, Terence. "Polymath8b: bounded intervals with many primes." What's New (blog), 2014.
- Riemann, Bernhard. "Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse." Monatsberichte der Berliner Akademie, 1859.
- Epictetus. Discourses and Selected Writings. Translated by Robert Dobbin, Penguin Classics, 2008.
Companion
The Classical Exit
Socrates on examination and Epictetus on assent: the disciplines that keep a mind from becoming the source of its own disorder.
Read the companionThe spine
The Distinction Framework
Two non-collapsible claims, the practical consequences, and what the framework refuses.
Read the framework