AI资讯

陶哲轩代表SAIR基金会发起开放数学模型计划，要把AI数学研究从精英实验室变成公共基础设施

发布时间：2026年09月20日 11:00:00

菲尔兹奖得主陶哲轩代表SAIR基金会宣布启动开放数学模型计划，目标是用开放模型和可负担的算力为数学研究打造共享底座，让AI辅助数学从少数精英实验室的特权变成公共基础设施，与英伟达开源IMO金牌系统的高算力门槛形成对照，开辟对抗闭源前沿模型路线的开放生态

数学家要亲手建 AI 基础设施

9月20日，菲尔兹奖得主、UCLA 教授**陶哲轩（Terence Tao）**代表 SAIR 基金会宣布启动「开放数学模型（Open Mathematical Models）」计划，目标是让开放模型与可负担算力成为数学研究的共享底座。

计划要解决什么问题

AI 辅助数学研究在2025-2026年突飞猛进，但出现了一个新的不平等：

  • 最强大的数学推理系统集中在少数前沿实验室手中；
  • 即使英伟达开源了 IMO 金牌系统 Nemotron 3 Ultra 的完整流水线，完整推理仍需要约1.5TB 显存（约150张顶级 GPU），普通大学甚至小国家的研究者根本跑不起来；
  • 结果是：AI 数学能力越强，学术共同体内部的「算力鸿沟」反而越深。

陶哲轩的计划正面回应这个矛盾——让 AI 辅助数学从精英实验室的特权变成公共基础设施。

两大支柱

支柱内容
开放模型面向数学研究的模型权重、训练数据和评估基准对外开放，不设商业壁垒
可负担算力通过基金会协调算力资源、优化模型效率，让大学和独立研究者也能用得起

与英伟达开源形成有趣对照

本周早些时候英伟达开源 Nemotron 3 Ultra 引发了「代码平等 vs 算力集中」的争论。陶哲轩的计划可以看作对这场争论的一个回答：

  • 英伟达路径：我把最强系统全部开源，但你得有1.5TB 显存；
  • SAIR 路径：开放不仅是权重公开，还包括让模型在普通人能获得的算力上真正可用——模型效率、蒸馏版本、共享算力同样是开放的一部分。

如果说英伟达证明了「AI 能拿 IMO 金牌」，陶哲轩想证明的是「全世界的数学家都能用得起一个会做数学的 AI」。

为什么是数学

数学在整个科学体系中有特殊地位：

  1. 纯符号、可验证：数学证明的对错可以被机器严格检验，是 AI 推理最理想的试验场；
  2. 所有硬科学的语言：物理、密码学、优化理论、机器学习理论都建立在数学之上；
  3. 研究模式正在变化：2025年以来，AI 辅助提出引理、寻找反例、检查证明漏洞已经成为活跃数学家的日常工具，陶哲轩本人就多次公开用 AI 工具辅助研究。

开放生态对垒闭源前沿

这条新闻的更大背景是 AI 领域两条路线的竞争：

  • 闭源前沿路线：OpenAI、Anthropic、Google 用最强模型建立商业与安全双重壁垒；
  • 开放生态路线：以开源模型、开放评估、公共算力为核心，SAIR 计划是这条路线在科研领域的最新落子。

欧洲企业本周对「AI 减速」的反弹、Cohere 对「卡特尔」的指责，本质上也是这场路线之争的延伸——当开放生态足够强，少数公司协调节奏的能力就会被削弱。

对国内学术界的意义

  • 中国数学与 AI 研究者可以以较低成本接入世界级数学推理工具；
  • 计划如果开放训练数据和基准，也为国内高校参与评测、贡献中文与中文数学教育资源提供了入口；
  • 更长远地看，开放数学模型可能改变数学教育——未来的学生不是「用 AI 算答案」，而是学会指挥 AI 完成证明中机械化的部分，把精力留给真正需要洞见的环节。

来源参考：量子位、Aoyii AI Daily

返回列表