#785.陶哲轩&邓煜：我们为何构建开放数学模型

跨国串门儿计划 · Oct 22, 2026 · 16m

🎙️ AI 数学研究：让工具增强人的能力

📝 本期播客简介

本期我们克隆了：SAIR · Terence Tao & Yu Deng: Why We Build Open Math Model

原内容更新时间：2026-10-20

AI 一口气发布数百个数学证明，数学家真正担心的却不只是机器抢饭碗：证明里的想法能不能理解，功劳该归谁，科学文献中的思想来源还能不能追溯？

数学教授 Terence Tao 和 Yu Deng 谈 AI 怎样拓展数学研究，也谈大量生成的证明给学术诚信、引用和成果评价带来的难题。他们解释为什么数学需要开放的 AI 工具，以及 AI 可以代做哪些繁琐工作；在 AI 时代，提出好问题、规划证明和发展新想法，仍是人的关键能力。

👤 本期嘉宾

Yu Deng 是芝加哥大学数学教授，研究偏微分方程和概率论。Terence Tao 是加州大学洛杉矶分校数学教授，研究分析、数论和组合数学，也参与 AI 相关工作，思考 AI 对数学领域的影响。

⏱️ 时间戳

01:01 理解、价值与归属

09:58 建设开放的数学AI

🌟 精彩内容

💡 AI 可以代做繁琐证明

当研究者已经有了解题思路，只是实现细节太复杂，AI 可以接手这些工作，让人把时间留给更根本的问题。

"能帮你省时省力，让你专心思考更根本的问题"

💡 数学不该只奖励答案…