Books by Kevin Hartnett

← Back to authors

Found 1 book

Book
Mentions on MR
The Proof in the Code: How a Truth Machine Is Transforming Math and AI
What I’ve been reading (2026-04-03)

5. Kevin Hartnett, The Proof is in the Code: How a Truth Machine is Transforming Math and AI .  A very useful book about the history of proving math theorems by computer.