The Proof in the Code How a Truth Machine Is Transforming Math and AI Jairo Buitrago * Neutral Grain Spirits 38%

* Neutral Grain Spirits 38% ABV

unforgettable moments

Order now and receive the stunning DELUXE FIRST PRINT RUN while supplies last―featuring gorgeous sprayed edges with stenciled artwork and special cover design features

Each story is introduced by Audrey Niffenegger

death-defying cats

The Proof in the Code How a Truth Machine Is Transforming Math and AI Jairo Buitrago * Neutral Grain Spirits 38%By: Kevin Hartnett Published by Farrar, Straus and Giroux, 2026 06 09 The inside story of Lean, a computer program that answers the age old question: How do you know if something is true? It began as an obscure bug checking program at Microsoft Research developed by a lone computer engineer named Leo de Moura. Then an unlikely crew of mathematical misfits caught wind of it and began to adopt it with messianic zeal. Their goal was to create a truth