数学社区该有自己的AI系统了。SAIR给出的答案是Open Math OS，定位是"Math 2.0"的基础设施。

打开网易新闻 查看精彩图片

这套系统包含开放模型和AI智能体，提供24/7云端算力，接入100+工具。数据控制权交给社区自己。

算力对通过审核的团队免费。申请入口已经开放：openmathmodel.org。

把这几项拆开看，逻辑其实很清楚。开放模型解决的是"谁来训"的问题，AI智能体解决的是"谁来用"的问题，24/7云端算力解决的是"跑不跑得动"的问题，100+工具解决的是"能干什么"的问题。四个环节串起来，才构成一套基础设施的完整闭环。

数据归属这一条值得单独拎出来。社区控制自己的数据，意味着数学研究者不必把语料和中间产物交到外部平台手里。对长期依赖公开数据集和自建工具链的数学圈来说，这是合作能否成立的前提。

免费算力限定在"通过审核的团队"范围内，不是无门槛开放。审核标准、算力规模、工具清单的具体内容，目前都没有进一步说明。

Math 2.0这个提法本身没有给出定义。从已公布的信息看，它指向的是一套由社区主导、模型与智能体协同、算力和工具都打包好的数学工作环境。