Machine Learning Street Talk· Machine Learning Street Talk (MLST)·· 11 小时前AI 评分52
MLST 纪录片梳理 Lean 与数学形式化，追问 AI 证明由谁来验证
Mathematics Just Changed Forever — Kevin Hartnett
AI 导读
Machine Learning Street Talk 发布纪录片《Mathematics Just Changed Forever》，围绕 Kevin Hartnett 的书《The Proof in the Code》。
来源：Machine Learning Street Talk · podcasters.spotify.com