{"product_id":"the-proof-in-the-code-how-a-truth-machine-is-transforming-math-and-ai","title":"The Proof in the Code: How a Truth Machine Is Transforming Math and AI","description":"\n\u003ctable align=\"center\" border=\"0\" cellpadding=\"2\" cellspacing=\"0\" width=\"100%\"\u003e\n\u003ctr\u003e\n\u003ctd class=\"productDetailSmallElements\"\u003e\n\u003cp\u003e\n\u003cstrong\u003eBiographical Note\u003c\/strong\u003e:\u003cbr\u003e\n\u003cb\u003eKevin Hartnett \u003c\/b\u003eis a math and technology writer whose work has been published widely in outlets including \n\u003ci\u003eQuanta Magazine\u003c\/i\u003e, \n\u003ci\u003eThe Atlantic\u003c\/i\u003e, \n\u003ci\u003eThe Boston Globe\u003c\/i\u003e, \n\u003ci\u003eWIRED\u003c\/i\u003e, \n\u003ci\u003eNautilus\u003c\/i\u003e, and \n\u003ci\u003eScientific American\u003c\/i\u003e. He was previously the senior writer at \n\u003ci\u003eQuanta Magazine\u003c\/i\u003e covering mathematics and computer science. His work has been collected in multiple volumes of the Best Writing on Mathematics series from Princeton University Press. From 2013 to 2016 he wrote \"Brainiac,\" a weekly column for \n\u003ci\u003eThe Boston Globe\u003c\/i\u003e's Ideas section. He lives in Yarmouth, Maine.\u003cbr\u003e\u003cbr\u003e\n\u003cstrong\u003eReview Quotes\u003c\/strong\u003e:\u003cbr\u003e\n\u003c\/p\u003e\n\u003cp\u003e\"The most interesting book I've ever read about math.\" \u003cb\u003e--Kevin Roose, \u003c\/b\u003e\u003cb\u003e\u003ci\u003eNew York Times \u003c\/i\u003e\u003c\/b\u003e\u003cb\u003etech columnist and co-host of the Hard Fork podcast\u003c\/b\u003e \u003c\/p\u003e\n\u003cp\u003e\u003c\/p\u003e\"A thrilling account of 'how one man's quest to build a truth machine--a computer program that can provide a complete, 100 percent guarantee that a chain of logic is correct--is transforming the field of mathematics' . . . . Readers will be captivated.\" -- \n\u003cb\u003e\u003ci\u003ePublishers Weekly \u003c\/i\u003e(starred review)\u003c\/b\u003e\n\u003cp\u003e\u003c\/p\u003e\"A fascinating example of how cultural clashes and creativity can create new paradigms . . . [In \n\u003ci\u003eTHE PROOF IN THE CODE\u003c\/i\u003e] proofs, personalities, and machines collide--intriguingly--at the uneasy intersection of mathematics and computer science.\" -- \n\u003ci\u003e\u003cb\u003eKirkus Reviews\u003c\/b\u003e\u003c\/i\u003e\n\u003cp\u003e\u003c\/p\u003e\"Kevin Hartnett is one of today's finest chroniclers of math. With marvelous clarity and narrative flair, he introduces us to computer-verified proof, the drama behind it, and the people reimagining what math can be.\" \n\u003cb\u003e--Steven Strogatz, \u003ci\u003eNew York Times\u003c\/i\u003e bestselling author of \u003ci\u003eInfinite Powers\u003c\/i\u003e, and co-host of The Joy of Why podcast\u003c\/b\u003e\n\u003cp\u003e\u003c\/p\u003e\"At a time when knowledge work is on the brink of a seismic transformation, math . . . offers us a vision of what may be coming. [Hartnett's writing is] gripping, page-turning, lucid, and significant.\" \n\u003cb\u003e--Brian Christian, author of \u003ci\u003eThe Alignment Problem\u003c\/i\u003e\u003c\/b\u003e\n\u003cp\u003e\u003c\/p\u003e\"[ \n\u003ci\u003eTHE PROOF IN THE CODE\u003c\/i\u003e] is science writing at its best: technically precise, conceptually ambitious, and consistently accessible. . . . A rare achievement.\" \n\u003cb\u003e--Seth Mnookin, author of \u003ci\u003eThe Panic Virus\u003c\/i\u003e\u003c\/b\u003e\n\u003cp\u003e\u003c\/p\u003e\"Lean is one of the most important things happening to math right now--future generations may come to regard it as the Euclid's \n\u003ci\u003eElements\u003c\/i\u003e of our time. In \n\u003ci\u003eTHE PROOF IN THE CODE\u003c\/i\u003e, Kevin Hartnett perfectly captures the unlikely story of Lean's birth and development.\" \n\u003cb\u003e--Grant Sanderson, creator of 3Blue1Brown\u003c\/b\u003e\n\u003cp\u003e\u003c\/p\u003e\"This weird and wonderful book . . . reveals why a technical idea hiding in plain sight could determine whether the machines we build will ever deserve our complete trust.\" \n\u003cb\u003e--Amy Webb, author of \u003ci\u003eThe Big Nine\u003c\/i\u003e\u003c\/b\u003e\n\u003cp\u003e\u003c\/p\u003e\"[ \n\u003ci\u003eTHE PROOF IN THE CODE\u003c\/i\u003e] is a must-read if you want to understand how machine-verifiable math is supercharging the next generation of AI.\" \n\u003cb\u003e--Anil Ananthaswamy, author of \u003ci\u003eWhy Machines Learn\u003c\/i\u003e\u003c\/b\u003e\n\u003cp\u003e\u003c\/p\u003e\" \n\u003ci\u003eTHE PROOF IN THE CODE \u003c\/i\u003eis about the people building a new way of creating mathematics, their ambitions, their uncertainties, their false starts and long leaps. Highly recommended.\" \n\u003cb\u003e --Jordan Ellenberg, author of \u003c\/b\u003e\n\u003cb\u003e\u003ci\u003eHow Not to Be Wrong\u003c\/i\u003e\u003c\/b\u003e\n\u003cp\u003e\u003c\/p\u003e\n\u003cbr\u003e\u003cbr\u003e\n\u003cstrong\u003ePublisher Marketing\u003c\/strong\u003e:\u003cbr\u003e\n\u003cp\u003e\u003cb\u003eThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true? \u003cbr\u003e\u003c\/b\u003e\u003cbr\u003eIt 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 machine that could provide the rarest of all commodities in life: a complete, 100 percent guarantee that something is true. Its name: Lean. \u003c\/p\u003e\n\u003cp\u003e\u003c\/p\u003eAs the movement grew and strengthened the program's capabilities, it drew in two of the world's most prominent mathematicians: Peter Scholze and Terence Tao. Google DeepMind, Meta AI, and other tech firms started using the program to supercharge computer reasoning. Now it's remaking the multi-thousand-year history of how mathematicians work, collaborate, and assess truth, while charting a new path in the march toward machine intelligence. \n\u003cp\u003e\u003c\/p\u003eIn \n\u003ci\u003eThe Proof in the Code\u003c\/i\u003e, Kevin Hartnett tells the definitive story of the birth and rise of Lean, and how a growing movement is transforming the enterprise of mathematics and ushering in a new era of human-computer collaboration. An engrossing, character driven narrative filled with insights about the future of math, computers, and AI, this brilliant work of journalism from one of the world's leading math writers offers a profound answer to the question: Can computers reveal universal truths? \n\u003cp\u003e\u003c\/p\u003e\n\u003cbr\u003e\u003cbr\u003e\n\n\u003cp\u003e\n\u003cstrong\u003eReview Citations:\u003c\/strong\u003e\n\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cspan class=\"italic\"\u003eKirkus Reviews\u003c\/span\u003e 03\/15\/2026 (EAN 9780374620059, Hardcover)\u003c\/li\u003e\n\u003cli\u003e\n\u003cspan class=\"italic\"\u003ePublishers Weekly\u003c\/span\u003e 04\/06\/2026 (EAN 9780374620059, Hardcover) - *Starred Review\u003c\/li\u003e\n\u003c\/ul\u003e\n\n\u003cbr\u003e\n\u003cbr\u003e\n\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e\n","brand":"Quanta Books","offers":[{"title":"Default Title","offer_id":51496220688662,"sku":"9780374620059","price":36.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0857\/9910\/8886\/files\/9780374620059.jpg?v=1783057708","url":"https:\/\/lusper.myshopify.com\/products\/the-proof-in-the-code-how-a-truth-machine-is-transforming-math-and-ai","provider":"Lusperbooks","version":"1.0","type":"link"}