SAIR 发布 Open Math OS，开源模型加免费算力做数学 AI

SAIR 基金会发布 Open Math OS，定位为「Math 2.0 的基础设施」，旨在为数学社区打造专属 AI 系统。该平台提供开源模型与 AI 智能体，配备 7×24 云端免费算力和 100 多个工具，数据由社区掌控，希望降低数学研究的算力与工具门槛。

2026-10-16 ~ 2026-10-16 · 2 条相关

• SAIR 推出 Open Math OS:免费算力+100 工具,要让社区掌控数学 AI — Thom_Wolf · 2026-10-16
• Open Math OS 发布：开源模型加免费算力押注数学 AI — LoubnaBenAllal1 · 2026-10-16