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

跨国串门儿计划 · Mar 12, 2026 · 47m

📝 本期播客简介

本期我们克隆了：加州大学洛杉矶分校（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 在复杂推理、数学和科学发现领域的前沿突破。

⏱️…