陶哲轩宣布启动开放数学模型计划，瞄准可复现的科研AI工具

导语

菲尔兹奖得主陶哲轩代表非营利机构 SAIR Foundation 宣布启动“开放数学模型计划”。这不是一次具体模型发布，而是一项面向数学研究基础设施的长期计划：通过联合学术界与产业界，开发开放权重模型，并建设能够兼容开源与闭源大语言模型的科学工具。

SAIR 表示，项目当前正在征集资金、算力、专业经验和社区建设方面的合作伙伴。机构也承认，部分规划仍在推进之中，后续将公布更多合作方和实施细节。

核心要点

• 先解决日常科研任务。 首阶段将关注理解复杂论证、核对文献、探索数学示例、编写代码以及形式化证明等工作。计划并不只追求模型“会不会解题”，还希望评估其能否提供可靠辅助、输出可验证结果，并以可持续的使用成本服务研究者。
• 开放不止于权重。 计划提出开放许可的模型权重和代码、公开训练方法、可复现的评测，以及带有来源和授权信息的数据说明。发布时还应同步披露失败案例与能力边界，避免只展示成功结果。
• 把数据权利交还研究者。 SAIR 承诺，只有在用户明确同意并遵守预先约定的条款时，才使用用户数据训练或改进模型。研究者可以自行决定分享哪些材料、用于什么目的。
• 让数学界参与治理。 项目希望跨越机构、地域和职业阶段吸纳参与者，并由社区共同设定优先事项、监督资源使用和提出治理建议。产业伙伴可以提供算力等支持，但研究独立性需要得到保留。

意义与影响

数学研究尤其依赖可检查、可延续的知识积累。对数学模型而言，开放权重和代码意味着独立团队有机会复现、审查并针对自身需求进行调整；公开评测和失败信息，则有助于区分真正的推理能力与表面上的答案生成。

不过，这项计划的价值仍取决于后续落地。当前公告没有披露具体模型架构、训练数据规模、算力预算、评测基准或正式发布时间，因此暂时更适合被理解为一份开放研发路线和社区动员声明。它能否形成高质量数据治理、稳定的算力来源和具有说服力的数学评测体系，将决定“开放数学模型”能否从理念变成研究基础设施。

如果计划推进顺利，数学家可能不再只是大模型的使用者，也会参与定义训练目标、验证方法和知识产权规则。这种由研究社区共同塑造工具的路径，或许会成为 AI 进入科学研究时的一种重要组织模式。

来源：量子位