SAIR 推出 Open Math OS：面向数学研究的开放模型与智能体工作区

發生什麼事

SAIR 表示，平台在宣布 Open Math Model 计划一个月后推出，合作伙伴包括 EPFL、CSCS、Lean 和 Hugging Face（@SAIRfoundation）。据官网介绍，研究工作全在云端：每个项目配一台不关机的机器，预装 Lean、Mathlib、SageMath 等上百套数学与科学计算工具，用户离线时计算照常进行。模型可在 DeepSeek V4.1 Flash、GLM 5.3、Kimi K3 等开放模型间切换；Ultramath 模式下，结论成不成立仍由研究者拍板，系统则把一道题交给多个智能体同时尝试不同解法，再把候选答案汇总回对话（Open Math OS 官网）。