从“坐不住”到“不买账”，陶哲轩称AI的数学成果是“有毒废料”

今年 9 月，OpenAI 宣称其模型攻克纳维-斯托克斯方程，25 位菲尔兹奖得主随即联名发出公开信，将 AI 与数学之争推向公众视野；10 月 6 日，OpenAI 又一次性发布 722 篇由 AI 生成的数学预印本，次日因符号错误撤回三篇；10 月 8 日的成果更新日志进一步显示，另有 14 篇被修订、13 篇更新引用，手稿总数从 722 降至 719。彼时舆论的核心问题是：AI 会不会取代数学家。（参见文章： AI一次甩出722篇数学论文，25位菲尔兹奖得主坐不住了 ） 如今，事件有了新的进展。近日，在陶哲轩发起的非营利机构 SAIR Foundation 的播客节目中，两位身处争议中心的数学家，SAIR 主席、菲尔兹奖得主陶哲轩，与今年新晋菲尔兹奖得主、芝加哥大学教授邓煜，就 AI 与数学的未来展开了一场对谈。事件的前后经过，可参见下图的时间线。 这场对话没有停留在“AI 能不能做题”的层面，而是把讨论推进到了更根本的位置： AI 做出的数学，谁来负责理解；被批量生产的证明，如何回到数学的传统之中。 从公开信到对谈：围绕 AI 与数学的争

摘自 钛媒体

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