陶哲轩SAIR启动开放数学模型计划

据科学网转载《中国科学报》报道（2026 年 9 月 20 日），9 月 18 日，菲尔兹奖得主、加州大学洛杉矶分校数学系教授陶哲轩通过个人博客宣布，由他参与创立的科学与人工智能研究基金会（SAIR）正式启动「开放数学模型计划」（Open Math Model Initiative）。计划要同时做两件事：构建「用于科学的开放权重模型」，以及构建「用于在科学应用中使用开源和闭源大语言模型的开源工具」。消息的关键不在模型规模，而在发起方式——数学界选择了自己造工具，而不是等工具造好之后再评价它。

25 位菲尔兹奖得主的声明：错位发生在哪一环

这项计划不是孤立动作。约一周前，陶哲轩、邓煜等 25 位菲尔兹奖得主联合发布声明《数学领域中人工智能的严重错位》（A Severe Misalignment of AI in Mathematics）。声明担心的是：大型 AI 公司把解决数学问题当作基准测试来推进的做法，会把数学研究原本重视的理解、解释、知识积累和学术协作「排挤在外」，并对数学这门科学以及数学共同体造成伤害。此次启动「开放数学模型计划」，被普遍视为数学界对这份声明的进一步回应。

陶哲轩在加州理工学院 Science x AI Summit 的主题演讲中预告了该计划，并给出一个更具体的诊断框架。他把数学与人工智能的交界拆成三个环节：证明生成、证明验证、证明消化。前两者正被人工智能以远超第三者的速度自动化，于是出现了 proof indigestion——证明被生成、甚至被验证，却没有被消化。他把「消化」定义为：理解证明为何成立、连接已有文献、提取可迁移思想。

他给出的衡量标准相当直白：「正确的衡量标准，不是证明是否被生成或验证，而是是否有人能就它做一场报告并回答问题。」这句话把评价权从「能不能跑出结果」拉回「人有没有真的理解」，也解释了为什么一个数学家主导的基金会要亲自去做开放权重模型。

首阶段做什么：三件事与三条原则

按 SAIR 公布的信息，计划首阶段聚焦理解论证、核对文献、形式化证明三类日常科研场景，并以开放权重、可复现评测、社区治理为原则运作。三条原则分别对应三种风险：开放权重解决工具不可控，可复现评测解决结果不可信，社区治理解决研究方向被少数机构单方面决定。

维度	声明指出的问题	计划的回应
目标定位	解题能力被当作能力基准	首阶段聚焦理解论证、核对文献、形式化证明
工具归属	核心模型闭源，无法独立检查	构建开放权重模型与开源工具
评价标准	以能否生成证明衡量进展	可复现评测，看人能否讲清楚
治理方式	方向由少数大公司决定	公开透明的治理规则与社区参与

把四行并排看，能读出计划的边界感：它没有宣称要做出「更强的数学模型」，而是先解决谁来定标准、谁来检查、谁来解释。用陶哲轩的话说，数学界需要的是能够独立检查、改进和运行的模型，其开发应以共同的科学优先事项为指导。

为什么把首次公告提前

值得注意的一个细节是节奏被打破了。陶哲轩在博客中写道，他们最初计划逐步推出这项计划，先在接下来的几个月里开展几个试点项目；但鉴于当前形势以及对开放模型的迫切需求，他们加快了进度，并将计划的首次公告提前，尽管部分关键规划仍在推进之中。官方公告同时确认，即日起面向社区征集资金、算力、专业经验与社区建设方面的合作伙伴。

这个节奏要从 SAIR 的资源起点理解。该基金会由陶哲轩与几位科学家、投资人于去年共同创立，定位是非营利组织，服务于数学及其他科学领域人工智能的负责任使用，且不依附于任何大型 AI 公司。早期活动主要集中在播客、短期活动与竞赛，规模有限。近期他们获得 XTX Markets 支持，资助了下一轮 SAIR 竞赛；同时正与学术界与产业界的多家关键伙伴洽谈开放权重模型与科学开源工具的计划。基金会表示，后续会陆续发布更多更新与信息，包括合作伙伴名单，以及把该计划融入现有播客、活动与竞赛体系的规划。

「我们邀请数学界共同构建」意味着什么

陶哲轩在声明中强调，数学的进步源于他人可以研究和借鉴的发现：一代又一代研究者构筑了共享的知识体系，靠开放交流和对彼此贡献的尊重维系，随着人工智能融入数学研究，这些原则也应当指导人们使用什么工具。他把计划表述为一次公开邀请——研究人员可以并将会决定这些模型的训练方式、评估标准，以及它们如何服务于科研和教育。

这带来三个可落地的变化。