Kevin Hartnett

Kevin Hartnett is a mathematics and technology journalist recognized for his ability to transform abstract, complex ideas into narratives accessible to a broad audience. His work has appeared in Quanta Magazine, The Atlantic, The Boston Globe, WIRED, Nautilus, Scientific American, and other leading publications. Early in his career, Hartnett wrote Brainiac, a weekly column for the Ideas section of The Boston Globe, which helped establish his reputation for bringing mathematical thinking to general readers with clarity.

Hartnett served as senior writer at Quanta Magazine, covering mathematics and computer science. His feature, "A Unified Theory of Randomness," was selected for The Best Writing on Mathematics, an annual anthology published by Princeton University Press, and his writing has appeared in multiple editions of the series.

Hartnett is the author of the book "The Proof in the Code," a work of science journalism that explores the birth and rise of Lean and the movement transforming mathematics through human–computer collaboration. The book details how mathematicians such as Peter Scholze and Terence Tao, as well as organizations like Google DeepMind and Meta AI, have adopted Lean to advance computer reasoning and reshape the way mathematicians work, collaborate, and assess truth. "The Proof in the Code" received critical acclaim, with Publishers Weekly describing it as "a thrilling account" of the quest to build a truth machine.