The Proof in the Code: How a Truth Machine Is Transforming Math and AI by Kevin Hartnett Back to product details page >
