2026年9月18日，菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩代表机构宣布启动“开放数学模型计划”，意在联合学术界与产业界，为数学及科学研究构建开放权重模型与配套开源工具。计划首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景，以开放权重、可复现评测与社区治理为原则运作，即日起面向社区征集资金、算力、专业经验与社区建设方面的合作伙伴。

陶哲轩表示，去年他与几位科学家和投资人共同创立SAIR Foundation，意在打造一个不依附于任何大型AI公司的非营利组织，在数学及其他科学领域支持人工智能的负责任使用。基金会资源起初相当有限，主要活动集中在播客、短期活动与竞赛，近期获得XTX Markets支持，资助了下一轮SAIR竞赛。此外，基金会正与学术界和产业界多家关键伙伴洽谈构建面向科学的开放权重模型及开源工具。考虑到当下形势与各界对开放模型的强烈需求，基金会决定加快进度，提前公开宣布该计划。

根据计划，研究者将能够决定这些模型的训练方式、评测内容以及如何服务科研与教学，社区需要能够检视、改进并独立运行的模型，参与应跨越机构、地域与职业阶段。第一阶段聚焦日常数学工作，包括理解艰深论证、核对文献、探索示例、编写代码以及形式化证明，并以可靠的辅助、可验证的结果以及持续使用的成本来衡量价值。

在开放开发方面，模型将提供开放许可的权重与代码，公开训练方法并提供可复现评测；训练数据附带可追溯来源与兼容授权，共享边界清楚标注；模型发布时将同时报告失败与局限，独立团队能够复现工作并将模型适配自身数学需求。数学界拥有数据并决定其使用方式，仅在用户明确同意且依据事先约定条款的前提下使用数据训练或改进模型。

计划开发的模型、代码与工具将在Apache 2.0、MIT或CC BY 4.0等开放许可下与社区共享，联合开发成果的权属、许可与署名从一开始就与贡献者约定，研究者保留其独立既有成果的权属。数学界将治理这项计划，设定优先事项并决定共享资源如何使用，治理规则与决策将公开。