陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划”

2026年9月18日，菲尔兹奖得主陶哲轩代表SAIR Foundation宣布启动“开放数学模型计划”，联合学术界与产业界构建面向数学及科学研究的开放权重模型与开源工具。计划首阶段聚焦理解论证、核对文献、探索示例、编写代码及形式化证明等日常科研场景，以开放权重、公开训练方法、可复现评测和社区治理为原则。模型、代码与工具将采用Apache 2.0、MIT或CC BY 4.0等开放许可共享，训练数据标注