数学家陶哲轩 2026 年 10 月 16 日在个人博客发文称，SAIR Open Math OS 已经软上线，提供类似前沿 AI 模型的服务和网页界面。平台目前托管的是现有开放数学模型，面向学术机构的申请者发放免费账号，并强调团队协作使用。
据陶哲轩介绍，平台目前托管 DeepSeek V4.1 Flash、Kimi K3 和 GLM 5.3 Flash 三个现有开放模型。他在文中说，这些模型的能力大约落后当前前沿模型一年左右，做不到近几个月常被提及的「一次性解题」，但足以胜任许多其他有用的数学任务，例如中等规模的 Lean 形式化，或者总结、讨论某个数学论证和主题。
陶哲轩介绍，这个平台的特点之一是强调团队账号而非个人账号，团队成员可以看到彼此的提示词。他表示，团队认为这种形式可能更适合用这类工具开展协作项目。
模型由捐赠的算力托管，团队正在向学术机构的申请者发放免费账号。陶哲轩称，可能需要根据需求和后续捐赠调整算力分配，但会尽量让更多用户用上这些模型。
SAIR 正在召集合作伙伴，基于现有开放模型做后训练，开发更适合数学的微调模型，并设有 Zulip 频道收集反馈。陶哲轩称，这仍是非常早期的版本，因为社区对开放模型的需求增加，团队提前了首次发布的时间表，后续会继续开发模型和配套功能。
