Kevin Hartnett
@kevinhartnett.bsky.social
Science journalist and author of "The Proof in the Code," the story of Lean, the interactive theorem prover developed by Leo de Moura at Microsoft Research, which is transforming the way math research is conducted. Coming in Spring 2026 from Quanta Books.
Excited to announce that my book, "The Proof in the Code," will be the first title from @quantabooks.bsky.social, a new collaboration between @simonsfoundation.org and @fsgbooks.bsky.social. Coming in Spring 2026, it's the story of how Lean is transforming math (and influencing AI via RL).
February 2, 2025 at 4:49 PM
Excited to announce that my book, "The Proof in the Code," will be the first title from @quantabooks.bsky.social, a new collaboration between @simonsfoundation.org and @fsgbooks.bsky.social. Coming in Spring 2026, it's the story of how Lean is transforming math (and influencing AI via RL).