陶哲轩与邓煜对谈AI数学争议，称批量证明是“有毒废料”
热点事件历史事件
陶哲轩与邓煜对谈AI数学争议，称批量证明是“有毒废料”
1 篇报道1 个报道来源11 天前更新
先了解这件事
AI 综述
在陶哲轩发起的非营利机构 SAIR Foundation 的播客节目中，SAIR 主席、菲尔兹奖得主陶哲轩与新晋菲尔兹奖得主、芝加哥大学教授邓煜就 AI 与数学的未来对谈，话题围绕 OpenAI 发布 722 篇 AI 数学预印本引发的争议。陶哲轩称批量解题产出的成果成了某种副产物，甚至可以说是“有毒废料”。邓煜提出“已有证明”与“能被理解”正成为两条不同边界，并称 722 篇中经 Lean 形式化验证的仅约 22%，其中与准黎曼猜想 003 相关的结果将 zeta 函数零点无零点区域推进到 7/8，陶哲轩称这是该问题五十年来最大进展。 对谈中还提到 SAIR 启动的 Open Math OS 项目，起步阶段不发布自研新模型，先整合现有开源模型与研究工具。
AI 根据报道生成 · 6 天前更新
最新进展10月23日 09:55
陶哲轩与邓煜对谈 AI 数学争议，称批量证明是“有毒废料”报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- 钛媒体陶哲轩与邓煜对谈 AI 数学争议，称批量证明是“有毒废料”
在陶哲轩发起的 SAIR Foundation 播客对谈中，陶哲轩与菲尔兹奖得主邓煜讨论 OpenAI 发布 722 篇 AI 数学预印本引发的争议。邓煜提出“已有证明”与“能被理解”正成为两条不同边界；722 篇中经 Lean 形式化验证的仅约 22%，其中与准黎曼猜想 003 相关的结果将 zeta 函数零点无零点区域推进到 7/8，陶哲轩称之为该问题五十年来最大进展。