TBNAI
Mathematics Just Changed Forever — Kevin Hartnett
Publication: Machine Learning Street Talk (MLST)
Author: Machine Learning Street Talk (MLST)
Source published: 26/10/2026, 14:36:54 UTC
Based on the episode description, not a full transcript. Source evidence retrieved 26/10/2026, 14:58:24 UTC.
Briefing in preparation
Kevin Hartnett is the author of *The Proof in the Code*.SPONSOR:---Cyber Fund built the Monastery to help founders ship products that were impossible a year ago. Applications for Batch 1 are now open.Apply now: https://cyber.fund---In 1998 Thomas Hales finished a proof of the Kepler conjecture that leaned so heavily on computer code that the Annals of Mathematics could not say whether it was true. That impasse opens Kevin Hartnett's book *The Proof in the Code*, and this documentary.Built around Tim's conversation with Hartnett, the film follows Lean from a side project at Microsoft Research t
An expanded briefing is queued. The original source is available above.
IPFS archive pending.