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

2026年9月18日，菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩宣布启动“开放数学模型计划”。该计划将联合学术界与产业界，开发面向数学及科学研究的开放权重模型和配套开源工具，首阶段强调可复现评测、开放开发与社区治理。

SAIR Foundation由陶哲轩与科学家、投资人等于2025年共同创立，是一家不依附大型人工智能公司的非营利组织，目标是推动人工智能在数学及其他科学领域得到负责任应用。基金会早期主要开展播客、短期活动和竞赛，近期获得XTX Markets支持，用于资助下一轮SAIR竞赛。目前，机构正与学术界及产业界伙伴筹备科学开放权重模型和兼容开源、闭源大语言模型的科研工具。

计划原本准备先以试点项目逐步推进，但由于开放模型需求快速上升，首次公开宣布被提前。第一阶段面向数学研究中的日常任务，包括理解复杂论证、核对文献、探索示例、编写代码和形式化证明。项目将以辅助是否可靠、结果能否验证，以及长期使用成本是否可控来评估模型价值，并向社区征集资金、算力、专业经验和社区建设方面的合作伙伴。

模型将提供开放许可的权重与代码，公开训练方法，并发布可复现的评测结果；训练数据需要标注来源和授权情况，数据共享边界也会被明确说明。项目发布时将同步披露失败案例与能力限制，而不是只展示成功结果。用户数据只有在获得明确同意并遵循预先约定的条件下，才会被用于训练或改进模型，研究者可以自行决定分享哪些数据及其用途。

项目产生的模型、代码和工具将根据具体情况采用Apache 2.0、MIT或CC BY 4.0等开放许可。联合成果的权属、许可和署名安排应在合作开始时确定，研究者原有的独立成果仍归其所有；若将相关成果用于计划，贡献者将因其中的数学思想和研究结果获得署名。计划还将邀请不同机构、地区和职业阶段的参与者共同治理，公开决策规则并提供建议、参与和问责渠道，同时与产业伙伴合作获取算力，但保持研究独立性。

SAIR Foundation表示，后续将公布更多进展，包括合作伙伴名单，以及如何把开放模型融入现有播客、活动和竞赛体系的安排。相关合作可通过collaboration@sair.foundation联系，社区成员也可加入其Zulip讨论区交流。