陶哲轩与邓煜对谈 AI 数学争议，称批量证明是“有毒废料”

在陶哲轩发起的 SAIR Foundation 播客对谈中，陶哲轩与菲尔兹奖得主邓煜讨论 OpenAI 发布 722 篇 AI 数学预印本引发的争议。邓煜提出“已有证明”与“能被理解”正成为两条不同边界；722 篇中经 Lean 形式化验证的仅约 22%，其中与准黎曼猜想 003 相关的结果将 zeta 函数零点无零点区域推进到 7/8，陶哲轩称之为该问题五十年来最大进展。