科技量子位··AI 生成
陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划”
菲尔兹奖得主陶哲轩代表SAIR Foundation宣布启动一项非营利性的“开放数学模型计划”，旨在为数学及科学研究构建开放权重的AI模型与开源工具。计划首阶段聚焦于理解论证、核对文献、形式化证明等日常科研辅助场景，并承诺以开放开发、社区治理、共享知识产权为原则运作。该计划本质上是学术界对大型AI公司主导的封闭模型的一种抗衡，试图将数学研究的开放共享准则延伸至AI工具领域，但文章未提及具体资金规模、算力来源等实际落地的关键细节。原文 ↗原文 ↗
核心观点
- ▍SAIR Foundation发起“开放数学模型计划”，旨在为数学研究构建开放权重、社区治理的AI工具，以对抗大型AI公司对模型和算力的垄断，将数学界开放共享的传统延伸至AI领域。
- 01陶哲轩于2025年创立SAIR Foundation，定位为非营利组织，不依附于任何大型AI公司，旨在支持AI在科学领域的负责任使用。
- 02计划首阶段聚焦于理解艰深论证、核对文献、探索示例、编写代码以及形式化证明等日常数学研究工作。
- 03模型将提供开放许可的权重与代码，公开训练方法，并提供可复现的评测；训练数据附带可追溯的来源与兼容授权。
- 04模型发布时，将同时报告失败与局限；独立团队将能够复现并适配。
- 05计划宣布加速，因“当下形势与各界对开放模型的强烈需求”，虽然部分关键规划仍在推进中。
- 06计划刚获得XTX Markets资助以支持下一轮SAIR竞赛。
反方 / 局限
- — 文章承认部分关键规划仍在推进中，未公布具体资金规模、算力合作方及首批合作伙伴名单，显示计划仍处于早期。
- — 文中未提及如何确保“可负担的算力”这一核心承诺，以及与大型AI公司相比，其模型在性能和实用性上的竞争力。
前置背景
论证骨架
平行视角
延伸追问