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

时间 2026年9月18日（北京时间9月19日），菲尔兹奖得主、数学家陶哲轩（Terence Tao）在个人博客发表声明，宣布由他参与创立、旨在推动 AI 与科学融合的非营利机构 SAIR 基金会（The Foundation for Science and AI Research）正式启动"开放数学模型计划"（Open Math Model Initiative），并即日起向全球学术界与产业界征集资金、算力、专业知识与社区建设方面的合作伙伴。 地点 美国/线上（陶哲轩发布于个人博客 terrytao.wordpress.com；SAIR 总部位于美国，由陶哲轩与诺贝尔奖得主 Barry Barish 等科学家联合发起）。 人物 陶哲轩（SAIR 联合创始人、菲尔兹奖得主）、Barry Barish（诺贝尔物理学奖得主、SAIR 联合创始人）、Sergei Gukov（Caltech）、Lewis Tunstall（Hugging Face），以及 25 位菲尔兹奖得主联合签署《数学领域 AI 严重失衡》声明的签署人。 事件详情 SAIR 开放数学模型计划核心要点如下： 一、不依附大厂。陶哲轩明确表示 SAIR 是非营利组织，独立于 OpenAI、Anthropic、Google 等大型 AI 公司，旨在为数学及基础科学研究构建"开放权重"（open-weight）模型，以及配套的科研工具链，让研究者可在同一框架下按需调用开源或闭源大模型。 二、首阶段聚焦日常科研场景。计划第一阶段目标并非挑战最著名的数学难题，而是先进入数学家日常研究中繁琐、高度重复的环节，包括：核查长篇论文中跳跃过大的证明步骤、追踪与核对跨领域参考文献、寻找特定条件下的算例与反例、辅助编写计算实验代码，以及把自然语言证明转化为 Lean 4 等证明助手可检查的形式化代码。 三、三大评估指标。陶哲轩明确表示项目不会仅看 Benchmark 正确率，而重点评估三项：模型在辅助科研时是否可靠、输出是否留下可重复可检查的验证过程、长期使用成本是否可被普通大学和研究机构承担。 四、开放原则。SAIR 希望尽可能公开模型权重、推理代码、训练方法和评测体系，同时披露模型的能力边界与失败案例；数据层面强调"未经研究者明确同意、未约定用途的数据，不应直接进入训练集"。 五、公开治理。数学共同体应治理该计划、设定优先事项并决定共享资源如何分配，治理规则与决策将公开，成员有清晰渠道问责领导者；产业合作必须保持社区研究独立性。 六、提前公布原因为何。陶哲轩坦言，团队原本计划未来几个月先做小规模试验，但鉴于"近期发生的一系列事件"以及学界对开放模型的强烈需求，决定提前公布并启动意向征集；联络邮箱为 collaboration@sair.foundation。 背景 SAIR 基金会成立于 2025 年，由陶哲轩与诺贝尔奖、图灵奖、菲尔兹奖得主等科学家共同发起，使命是"以科学原则引导 AI，造福人类"，口号可概括为"AI for Science"与"Science for AI"两大方向。基金会此前已开展一系列数学与 AI 跨界竞赛，包括与 Hugging Face 战略合作（2026 年 4 月签署）的"数学蒸馏挑战赛"、Lean Kernel Challenge、Andrews-Curtis 猜想挑战赛、24 次逆伽罗瓦问题挑战、模运算挑战赛等。金融做市商 XTX Markets 已为 SAIR 下一轮竞赛提供资助。值得注意的是，就在本周，陶哲轩、邓煜等 25 位菲尔兹奖得主联合签署《数学领域人工智能的严重失衡》（A Severe Misalignment of AI in Mathematics）声明，签名者还包括皮埃尔·德利涅、彼得·舒尔茨、塞德里克·维拉尼、玛丽娜·维亚佐夫斯卡等顶尖数学家，对商业实验室以"解决了多少著名难题"衡量模型能力的取向表达担忧。 影响 该计划是数学共同体对前沿 AI 实验室主导 AI for Math 趋势的最新一次"反主导"尝试。其意义在于：第一，把模型评估从单纯刷榜转向可靠性、可验证性与可负担性；第二，提出"研究者治理 + 公开数据使用"的数据治理框架，对当前大模型公司未经授权使用学术内容的做法形成压力；第三，与 Hugging Face 等开源生态的协同意味着 SAIR 模型的开放权重很可能在 HF 平台首发，从而降低学术界使用门槛。可以预见，未来数月将有多家产业伙伴（尤其是芯片云厂商、AI 基础设施提供商）宣布加入。 总结 SAIR 基金会启动的"开放数学模型计划"是菲尔兹奖得主陶哲轩领衔、面向数学与基础科学研究的开源权重 AI 模型协作项目，首阶段聚焦科研日常任务，采用公开权重、公开数据治理、公开社区治理三大原则，目前正面向全球征集资金、算力与社区合作伙伴。这一计划被业界视为数学共同体对当前 AI for Math 趋势的一次结构性回应。 参考来源 1. 陶哲轩个人博客（官方原文）：https://terrytao.wordpress.com/2026/09/18/sairs-open-math-model-initiative/ 2. SAIR Foundation 官网：https://sair.foundation/ 3. 量子位报道：https://www.qbitai.com/2026/09/492467.html 4. 腾讯新闻报道：https://news.qq.com/rain/a/20260919A064J300 5. 腾讯新闻（另一篇）：https://news.qq.com/rain/a/20260919A07L8G00 6. 微博（陶哲轩官方声明中文版）：https://weibo.com/ttarticle/p/show?id=2309405344668325118021 7. 思否报道（中文综述）：https://segmentfault.com/a/1190000048097130 8. Let's Data Science（英文）：https://letsdatascience.com/news/sair-opens-partner-outreach-for-open-math-model-initiative-9ba8c64e 9. XTX Markets AI for Maths 资助公告：https://www.xtxmarkets.com/news/2026-update-on-xtx-markets-ai-philanthropy