Showing results by publisher "Macmillan Audio" in Innovations
-
-
The Proof in the Code
- How a Truth Machine Is Transforming Math and AI
- By: Kevin Hartnett
- Length: 8 hrs and 24 mins
- Unabridged
-
Overall0
-
Performance0
-
Story0
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true? It began as an obscure bug-checking program at Microsoft Research developed by a lone computer engineer named Leo de Moura. Then an unlikely crew of mathematical misfits caught...
-
The Proof in the Code
- How a Truth Machine Is Transforming Math and AI
- Length: 8 hrs and 24 mins
- Release date: 09-06-26
- Language: English
Failed to add items
Sorry, we are unable to add the item because your shopping cart is already at capacity.Add to basket failed.
Please try again laterAdd to wishlist failed.
Please try again laterRemove from wishlist failed.
Please try again laterAdding to library failed
Please try againFollow podcast failed
Unfollow podcast failed
£12.99 or free with trial. Auto-renews at £8.99/month after trial. See eligibility.
-