SAIR 发布 Open Math OS：数学社区自建 AI 系统的算力与工具底座

2026/10/17 00:18

核心发布：SAIR 基金会推出 Open Math OS，定位为「Math 2.0」的基础设施，由开放模型与 AI Agent、24/7 云算力以及 100 多个工具组成。
数据与算力条款：官方称社区掌握自身数据；算力对获批团队免费开放，申请通道已在 openmathmodel.org 上线。
传播路径：Hugging Face 联合创始人 Thomas Wolf 转发该发布，并配以「it's time to invent math 2.0」的表述，为该计划引入了开源模型社区侧的关注。
行业观察：SAIR 的表述直接落在「数学社区应该有自己的 AI 系统」。数学研究与通用问答的差别在于需要形式化表述、长链条推导与可复核的中间产物，而当前通用模型在这类任务上的产出仍需人工逐步校验。把模型、Agent、工具链与免费算力打包成一套由社区管理的基础设施，相当于不指望通用模型自己覆盖该领域，而是把判断标准和数据主权交回学科内部。当前公开信息未披露模型来源、工具清单与算力规模，实际可用性取决于获批团队的首批反馈。