Back to results
Cover image for Proof in the Code: How a Truth Machine Is Transforming Math and AI

Proof in the Code: How a Truth Machine Is Transforming Math and AI

Author:Hartnett, Kevin
Publisher:Quanta Books
ISBN:9780374620059
Year:2026-06-09
Temporarily Out of Stock