Proof in the code, the: how a truth machine is transforming math and ai
Auteur :
Hartnett, Kevin
Éditeur :
Farrar, Straus & Giroux Inc
ISBN :
9780374620059
Date de publication :
20 juil. 2026
Dimensions :
22,9 x 15,2 x 2,5 cm
Poids :
454 g
Format :
Sewn; Cloth over boards
Langue :
Anglais
Pays d'origine :
USA
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?