MLST 播客探讨 Lean 形式化与 AI 数学

2026年10月26日，Machine Learning Street Talk 发布纪录片《Mathematics Just Changed Forever》，围绕 Kevin Hartnett 的书《The Proof in the Code》，梳理 Lean 与数学形式化的发展，并追问 AI 生成的证明应由谁来验证。这是该事件目前唯一可确认的报道内容，此前版本未包含其他报道，因此不存在早先报道与后续报道在数字、时间或说法上的矛盾。目前进展停留在纪录片发布这一节点，后续是否引发讨论或回应尚不可知。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。