Quanta Books Releases The Proof in the Code

 Simons Foundation, June 2026

One of the largest shifts in the history of mathematics is happening right now, and a new book from Quanta Books chronicles the people and project responsible. At the heart of this revolution is Lean, a programming language and proof assistant that serves as a “truth machine,” guaranteeing that a given proof is 100 percent correct.