Machine Learning Street Talk· Machine Learning Street Talk (MLST)·· 1 天前AI 评分62
Lean 作者 Leo de Moura 谈 Collatz 证明事件与形式化验证的信任边界
Who Checks a Proof No Human Can Read? — Leo de Moura
AI 导读
Lean 创建者、Z3 共同作者 Leo de Moura 在 MLST 访谈中讲述 Lean 如何走出原定受众，依赖类型与 Mathlib 如何让它对一线数学家有用，以及形式化验证离开实验室后会发生什么。
来源：Machine Learning Street Talk · podcasters.spotify.com