数学家用 AI 核对一篇论文时，不能只听模型说“结论没问题”，还得知道它如何判断，并让别人重复检查。9 月 18 日，菲尔兹奖得主陶哲轩代表 SAIR Foundation 宣布启动“开放数学模型计划”，希望把这类能力做成数学界能够共同检查、改进和运行的公共工具，而不是少数公司的封闭产品。
据量子位转载的官方声明，计划首阶段将聚焦理解艰深论证、核对文献、探索示例、编写代码和形式化证明——也就是把推导写成可由证明助手逐步核验的严格语言。项目承诺开放许可的模型权重与代码，公开训练方法，标注训练数据来源与授权边界，并提供可复现评测，让独立团队能重复验证结果。用户数据只有在明确同意并预先约定条款后，才会用于训练或改进模型。
更值得关注的是，SAIR 把可负担的算力和社区治理也放进了计划：开放权重只有在研究者用得起、能参与决定训练与评测方向时，才可能成为公共科研基础设施。不过项目目前仍在征集资金、算力和合作伙伴，合作名单及更多实施细节尚未公布。