计划首阶段聚焦理解论证、核对文献、探索示例、编写代码和形式化证明等日常数学工作，面向社区征集资金、算力、专业经验与社区建设合作伙伴。
AI解读：陶哲轩和SAIR基金会把开放权重模型直接对准了数学研究本身，而不是先做通用模型再等别人适配。首阶段要解决的是数学家每天都会碰到的具体活：读懂艰深论证、核对文献、探索例子、写代码、把证明形式化。
真正值得留意的是“数学界拥有数据”这一条：只有在用户明确同意、并且依据事先约定的条款时，才会用用户数据训练或改进模型，研究者自己决定分享什么、为什么分享。这等于把数据控制权先摆上谈判桌，而不是等模型做出来再补。
开放许可、公开训练方法、可复现评测，以及发布时同时报告失败与局限，构成了这套计划的约束条件。对做数学工具的人来说，能不能独立复现、能不能把模型调成适合自己领域的样子，比跑分更有用。
眼下还没有模型、算力和具体合作伙伴名单，计划本身仍处于征集意向阶段，陶哲轩说部分关键规划还在推进中。所以短期内能确定的变化是：讨论和合作入口开了，实际工具什么时候能用还看不到。
普通读者不需要为此做什么。真正相关的是数学研究者、形式化证明工具链的开发者和愿意出算力的机构：如果治理和许可按声明落地，他们多了一个不依附大公司的选项；没落地之前，这仍然是一份意向书而不是可用产品。
2026年9月18日，菲尔兹奖得主、SAIR基金会联合创始人陶哲轩（Terence Tao）代表机构宣布启动“开放数学模型计划”，目标是联合学术界与产业界，为数学及科学研究构建开放权重模型与配套开源工具。
计划首阶段聚焦理解论证、核对文献、探索示例、编写代码以及形式化证明等日常科研场景，以开放权重、可复现评测与社区治理为原则运作，即日起面向社区征集资金、算力、专业经验与社区建设方面的合作伙伴，意向可在公告页面底部登记。
量子位报道称，本文由SAIR AI Foundation提供、量子位获授权转载，文案基于陶哲轩英文原文直译，编辑过程中遵从中文阅读习惯略有修改，如存在差异或歧义以英文原版为准。
计划的原则与首阶段范围
公告说，数学因可被他人审视与延续的发现而进步，一代代研究者构筑了共享的知识体系；当人工智能成为数学研究的一部分，这些准则应当塑造所使用的工具。SAIR与合作伙伴启动这项计划，站到塑造并落地这些新工具的前沿。
在第一阶段，模型面向日常数学工作，包括理解艰深论证、核对文献、探索示例、编写代码以及形式化证明。公告称，模型将帮助人们建立理解，开展此前无力推进的研究，并以可靠的辅助、可验证的结果以及持续使用的成本来衡量其价值。
- 目标：为数学及科学研究构建开放权重模型与配套开源工具
- 首阶段场景：理解论证、核对文献、探索示例、编写代码、形式化证明
- 衡量标准：可靠的辅助、可验证的结果、持续使用的成本
- 即日起征集：资金、算力、专业经验、社区建设方面的合作伙伴
开放开发、数据权属与许可安排
在开放开发方面，公告称模型将提供开放许可的权重与代码，公开训练方法，并提供可复现的评测；训练数据将附带可追溯的来源与兼容的授权，其共享边界会被清楚标注。模型发布时，将同时报告失败与局限，而非只宣扬成功。独立团队将能够复现这项工作，并把模型适配到自身的数学需求。
在数据方面，公告写明数学界拥有数据，并决定其使用方式；仅在获得用户明确同意、且依据事先约定条款的前提下，使用用户数据训练或改进模型，研究者自行决定分享什么、出于何种目的分享。
在知识产权方面，本计划开发的模型、代码与工具将在开放许可下与社区共享，例如Apache 2.0、MIT或CC BY 4.0（视情况而定）；联合开发成果的权属、许可与署名，应从一开始就与贡献者约定。研究者保留其独立既有成果的权属，这些成果若分享给本计划，研究者将为其数学思想与结果获得署名。
- 开放许可的权重与代码、公开训练方法、可复现评测
- 训练数据附带可追溯来源与兼容授权，共享边界清楚标注
- 发布时同时报告失败与局限
- 用户数据仅在明确同意和事先约定条款下用于训练或改进
- 模型、代码与工具拟采用Apache 2.0、MIT或CC BY 4.0等开放许可
- 研究者保留独立既有成果权属，分享时获得数学思想与结果署名
治理、参与方式与机构背景
公告称，计划欢迎跨越机构、地域与职业阶段的参与，数学界应当治理这项计划，设定优先事项并决定共享资源如何使用；治理规则与决策将公开，成员有清晰的渠道提出建议、参与决策并问责领导者。计划会与战略产业伙伴合作以提供算力等资源，但公告称这些合作必须保持社区的研究独立性。
合作联系邮箱为[email protected]，社区讨论通过SAIR Foundation Zulip讨论区进行。
关于SAIR基金会，量子位报道称其成立于2025年，是由陶哲轩发起、多位诺贝尔奖得主及全球顶尖科学家共同指导的非营利性研究机构，致力于通过跨学科全球协作，以科学、安全的方式加速向通用人工智能（AGI）和超级人工智能（ASI）的演进；其特色包括构建全球顶尖科学家网络、专注科研范式变革、强调科研成果可验证与可重复、以及长期主义视角。
- 治理：治理规则与决策公开，成员可提建议、参与决策并问责领导者
- 产业合作：可提供算力等资源，但须保持社区的研究独立性
- 联系：[email protected]；社区讨论在SAIR Foundation Zulip讨论区
- SAIR基金会成立于2025年，为非营利性研究机构，陶哲轩为发起人
时间安排与当前进展
陶哲轩在声明中称，去年他与几位科学家和投资人等共同创立SAIR基金会，意在打造一个不依附于任何大型AI公司的非营利组织，在数学及其他科学领域支持人工智能的负责任使用；基金会资源起初相当有限，主要活动集中在播客、短期活动与竞赛，一直在缓慢扩大规模、提升抱负、增强后勤保障能力。
声明提到，基金会近期获得XTX Markets的支持，资助了下一轮SAIR竞赛；此外正与来自学术界与产业界多家关键伙伴洽谈一项计划，目标是构建面向科学的开放权重模型，以及便于同时使用开源与闭源大语言模型的科学开源工具。
陶哲轩称，原计划循序渐进推进，未来几个月先从若干试点项目起步；考虑到当下形势与各界对开放模型的强烈需求，决定加快进度，将计划的首次公开宣布提前，尽管部分关键规划仍在推进之中。他说，计划在短期内发布更多更新与信息，包括合作伙伴名单，以及将该计划融入现有播客、活动与竞赛体系的后续规划。
- 2025年SAIR基金会成立，不依附任何大型AI公司
- 近期获XTX Markets支持，资助下一轮SAIR竞赛
- 原计划未来几个月先从若干试点项目起步，现提前公开宣布
- 将陆续发布合作伙伴名单及融入播客、活动与竞赛体系的后续规划