
The Proof in the Code How a Truth Machine Is Transforming Math and AI
Kevin Hartnett
Published 2026
288 pages
Books on artificial intelligence explain machines that learn and reason. How the technology works, what it can and cannot do, and what it means for jobs, creativity and society are all explored. You will find clear introductions for general readers and technical texts for people building these systems. The newest come first.

Kevin Hartnett
Published 2026
288 pages

Christian Kaunert, Bhupinder Singh, Anjali Raghav
Published 2026
320 pages

Carl Kingsford
Published 2026
392 pages

Hal S. Alper
Published 2026
432 pages

Tho Le-Ngoc, MohammadMahdi Ghadaksaz, Mobeen Mahmood
Published 2026
167 pages

Andreas François Vermeulen
Published 2026
480 pages

Elakkiya Rajasekar
Published 2026
350 pages

Published 2026
400 pages

Nitin Borwankar
Published 2026
250 pages

Hao Jiang, Wai-Ki Ching
Published 2026
215 pages

Paul Lee, Mark Esposito, Danny Goh, Terence C. M. Tse
Published 2026
208 pages

Patrick Bangert
Published 2026
296 pages

Matt Kesby
Published 2026
304 pages

Pam Baker
Published 2026
384 pages

Eric Butow, Kelly Noble Mirabella
Published 2026
352 pages

Onur Bakiner
Published 2026
260 pages

Gavriel Salvendy, Waldemar Karwowski, Vincent Duffy
Published 2026
368 pages

Manish Kumar, S. Balamurugan, V. Ramasamy, Nitigya Sambyal, Leena P. Singh
Published 2026
400 pages

Jeffrey Allan
Published 2026
368 pages

Luca Berton
Published 2026
200 pages

Pramod Singh, James McKeone
Published 2026
300 pages

The Marquand House Collective
Published 2026
216 pages

Bennie Haelen
Published 2026
350 pages

Preeti Agarwal
Published 2026
400 pages