Closing the Gap: The Quest to Understand Prime Numbers
First published 2017
No recent price yet
About this book
The recent race to narrow the gaps between prime numbers, with real number theory along the way.
AI × MATH
AxiomProver formalises the 246 bound on gaps between primes
The bounded-gaps result this book tells the story of, checked line by line in Lean.
August 2026 · Axiom Math ↗
Find a copy
First editions ↗ (opens in a new tab)Signed copies ↗ (opens in a new tab)
First editions and signed copies open a search on AbeBooks, cheapest first. We may earn a commission if you buy through these links.
Editions
The list of editions isn't available right now.