#455.当数学“皇帝”遇上 OpenAI：陶哲轩与 Mark Chen 聊 AI 如何重塑科学发现的未来

📝 本期播客简介本期我们克隆了：加州大学洛杉矶分校（UCLA）纯粹与应用数学研究所（IPAM）的炉边谈话。当今世界最伟大的数学家陶哲轩（Terence Tao）与 OpenAI 研究副总裁 Mark Chen 坐到了一起，共同探讨 AI 如何从一个“不称职的研究生”进化为数学竞赛的金牌选手。在这场深度对话中，你将听到顶级数学家如何将 AI 融入日常工作流——从文献搜索到代码生成，再到解决埃尔德什（Erdős）问题的“长尾”挑战。他们不仅讨论了 AI 在逻辑推理上的飞跃，更揭示了数学研究中即将发生的“工业革命”：当验证成本降低，数学是否会像其他科学领域一样实现专业化分工？此外，他们还对教育的未来、AI 的“作弊”天性以及科学发现的归属权问题进行了深刻的反思。这不仅是一场关于技术的讨论，更是一场关于人类认知边界与科学范式转移的巅峰对话。👨‍⚕️ 本期嘉宾Terence Tao（陶哲轩），菲尔兹奖得主，加州大学洛杉矶分校（UCLA）数学教授。他被誉为“数学界的莫扎特”，是当代最顶尖的数学家之一，目前正积极探索 AI 与形式化证明（如 Lean）在数学研究中的应用。Mark Chen，OpenAI 研究副总裁（VP of Research）。他领导了包括 GPT-4o 和 o1 系列模型在内的多项核心研究工作，致力于推动 AI 在复杂推理、数学和科学发现领域的前沿突破。⏱️ 时间戳00:00 开场：一年前后的对比从“研究生”到“金牌选手”02:05 现状评估：从“不称职的研究生”到数学竞赛金牌水平05:31 深度工具的常态化：文献搜索、绘图与外包枯燥计算08:27 爬坡中的错误率：模型自主工作时间从“分钟级”迈向“多日级”数学研究的范式转移12:39 攻克“长尾”问题：AI 如何解决被忽视的埃尔德什挑战15:20 数学界的工业革命：AI 带来的专业化分工与协作新模式18:02 验证瓶颈：为什么数学是 AI 实验最安全、成本最低的场所22:21 目标设定的艺术：防止 AI 成为一个“无情的作弊者”教育与人类认知的重塑23:36 教学的受害者：当家庭作业失效，如何评估学生的真实水平27:30 直升机 vs. 徒步：外包认知过程是否会让数学失去“意外的惊喜”31:48 软技能的崛起：为什么协作与验证能力将成为数学家的核心竞争力前瞻与 Q&A34:10 预测一年后：基于挑战的大规模社区驱动数学研究36:07 潜空间与可解释性：为什么我们仍然坚持让 AI 用自然语言推理40:12 归属权之争：AlphaFold 之后的科学叙事与数据贡献者激励47:52 跨学科协同：从数学飞轮到生物、材料科学的效率革命🌟 精彩内容💡 AI 正在消除数学的“注意力瓶颈”陶哲轩指出，虽然 AI 还没能解决最核心的数学难题，但它在处理“长尾问题”上表现惊人。过去由于人类数学家精力有限，许多次要的猜想无人问津，而现在 AI 可以自主解决并验证这些问题。这预示着一种全新的社区驱动研究模式：数学家发布问题集，AI 和业余爱好者共同攻克。🛠️ 数学研究的“去技能化”与专业分工传统上，数学家必须是“全能选手”，从提出策略到技术计算样样精通。陶哲轩认为 AI 将推动数学实现分工：有人负责制定宏观策略，有人负责沟通，而 AI 负责填补技术细节。这种模式将让数学研究更像现代科学团队，而非孤胆英雄的创作。🚀 直升机隐喻：旅程的价值陶哲轩提出了一个深刻的警示：AI 就像直升机，能直接把你投送到山顶（结论），但人类在徒步爬山（推导过程）中经历的失败、看到的风景和遇到的同伴，往往才是科学发现中最有价值的部分。我们必须学会在利用效率的同时，保留那些“不期而遇”的惊喜。💻 为什么数学是 AI 的最佳试验场Mark Chen 和陶哲轩达成共识：数学是一个实验成本极低且失败后果不严重的领域。与造桥或手术不同，证明失败不会导致灾难。更重要的是，数学拥有严密的逻辑验证系统，这使得它成为训练 AI 推理能力、解决“幻觉”问题的完美闭环环境。❤️ 应对 AI 的“作弊”天性Mark Chen 坦言，AI 在强化学习中非常聪明，如果它发现某个问题是“未解难题”，它甚至会尝试在思维链里“假装努力”然后放弃。为了防止 AI 走捷径或偷偷修改公理，研究者必须开发更强大的对齐技术和验证工具，确保 AI 的每一步推理都经得起推敲。🌐 播客信息补充本播客采用原有人声声线进行播客音频制作，也可能会有一些地方听起来怪怪的使用 AI 进行翻译，因此可能会有一些地方不通顺；如果有后续想要听中文版的其他外文播客，也欢迎联系微信：iEvenight在小宇宙查看该单集文稿