云端只读镜像 本机离线时仍可阅读

陶

陶哲轩

加州大学洛杉矶分校数学教授，菲尔兹奖得主，SAIR基金会主席。近期聚焦于AI时代数学研究范式危机、学术诚信重建及开放科学生态构建，倡导通过开源工具（OpenMath OS）捍卫人类对数学的理解力与学科自主权。

归纳 [1] [2] [3] [5] [4]

更新 2026-10-27 审阅待审本地待审

履历与关键经历

至今加州大学洛杉矶分校（UCLA）数学教授。事实 [2] [5]
至今担任SAIR基金会主席，牵头推动OpenMath OS项目，旨在整合开源模型与工具，促进社区协作，减少对闭源科技公司的依赖。事实 [4] [2]
2018 获得菲尔兹奖。事实 [1] [5]

核心思想与方法

数学由好奇心驱动，其“不合理的有效性”源于简洁优雅的数学描述往往恰好对应物理现象的本质。STEM是一个生态系统，需保持好奇心驱动的研究生态。归纳 [1] [2]
数学的六大基石为：数、代数、几何、概率、分析、动力系统，它们是从直觉到抽象的演变及在AI与科学中的核心作用。归纳 [1] [2]
AI时代数学研究面临“古德哈特定律”危机，当AI能生成证明时，需从追求解题速度转向重视“证明消化”与经典化。数学工作的成功标准在于促进理解，而非生产指标（引用瑟斯顿）。归纳 [3] [5]
AI擅长广度而人类专家优势在深度，两者应互补。理想状态是保留古典研究的代际传承与概念深度，同时审慎利用高阶算力提速（如处理繁琐局部推导）。归纳 [1] [2] [5]
人类在AI时代的核心价值在于“赋能”而非“交权”。核心能力是提出本质问题、构建宏观战略及保持审美判断，而不仅是机械推导。归纳 [5] [2]
AI时代数学研究需构建开放生态，由学界自主开发符合价值观的工具（如OpenMath OS），减少对闭源科技公司的依赖。科学从诞生起就是开源的，服务于科学的AI底座也必须保持开放。归纳 [4] [2] [5]

代表性贡献

1998-2014 参与高维球体密堆问题的研究，该数学模型被用于无线通信编码方案设计及确定频谱理论极限。事实 [1] [2]
2004-至今推动压缩感知（Compressed Sensing）技术的发展，将其从MRI成像扩展至无线宽带及传感器网络标准方法。事实 [1] [2]

最近公开表达

2026-07 在ICM 2026演讲中提出数学界面临价值观危机，发布《莱顿宣言》五项建议：公开AI工具使用、支持审稿工作、保留正确性责任、认真对待署名致谢、参与公共讨论。事实 [3] [5]
2026-10 严厉批评OpenAI发布700多篇前沿数学证明的行为，指责商业巨头为了公关冲刺缺乏学术礼仪、污染文献生态。指出OpenAI撤回3篇预印本因存在基础错误，并支持25位菲尔兹奖得主联名抗议。事实 [5] [2]
2026-10 与邓煜探讨AI时代数学研究的开放生态，指出商业公司发布大量未经充分理解的证明导致学术文献污染和激励错位；强调需通过OpenMath OS等开放工具重建学界对学科的理解与掌控。事实 [4] [2] [5]
2026-09 在播客及访谈中预告新书《Six Math Essentials》，解析数学六大支柱，并警示AI可能导致科学生态人才断层。指出人类专家优势在深度，警告过度依赖AI可能牺牲下一代科学家的训练。事实 [1] [2]

最近工作与项目

2026 撰写并即将出版新书《Six Math Essentials》，探讨数学核心支柱、科学与数学的相互作用及AI影响。事实 [2] [5]
2026 作为SAIR基金会主席，牵头推出OpenMath OS项目，旨在整合开源模型与工具，促进社区协作，减少对闭源科技公司的依赖。事实 [4] [2]

重要来源

若全宇宙只有AI懂证明，数学便毫无意义 | 陶哲轩 | 邓煜 | 菲尔兹奖 | AI数学证明 | OpenAI | SAIR基金会 | 开源AI模型 | 偏微分方程 | 纳维-斯托克斯方程| 数学研究

陶哲轩与邓煜批判AI黑盒证明污染学术生态，倡导构建开源数学协作网络以捍卫人类理解力

2026-10-26 · 2532 字

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

陶哲轩与邓煜探讨AI时代数学研究的开放生态与人机协作新范式

2026-10-22 · 2392 字

陶哲轩：数学六大基石与AI时代的科学变革 | Terence Tao | 数学基础 | 代数 | 几何 | 概率 | 分析 | 动力学 | 非欧几何 | 爱因斯坦相对论 | 压缩感知 | 菲尔兹奖

陶哲轩拆解数学六大基石，揭示其从直觉到抽象的演变及在AI与科学中的核心作用

2026-09-22 · 3850 字

#712.陶哲轩：AI 擅长广度，人类守住深度

陶哲轩解析AI广度与人类深度的互补，警示科学生态面临的人才断层危机

2026-09-08 · 9435 字

AI时代的数学危机 | 陶哲轩ICM 2026演讲 | 哥德尔不完备定理 | 古德哈特定律 | Lean | 形式化验证 | First Proof | 莱顿宣言 | 证明生成 | 同行评审

陶哲轩警示AI引发数学价值观危机，呼吁重建证明消化与共同体认可机制

2026-07-29 · 3849 字

Terence Tao on the cosmic distance ladder

发布日期待补 · 1798 字

Prism is open source · ⭐ Star on GitHub · about