SAIR 推出 Open Math OS：給數學研究用的開放模型與代理工作區

發生什麼事

SAIR 表示，這是一個月前宣布 Open Math Model 計畫後推出的平台，上線合作夥伴有 Hugging Face、Lean、CSCS 和 EPFL（@SAIRfoundation）。官網寫，每個專案都有一台 24 小時運作的雲端機器，預裝 Lean、Mathlib、SageMath 等 100 多種數學與科學運算工具，筆電關機也能繼續跑；模型可以選 Kimi K3、DeepSeek V4.1 Flash、GLM 5.3 等開放模型。另有 Ultramath 模式，讓多個代理從不同方向同時攻同一道題，彼此分享發現，最後把結果交回對話，由人判斷哪些成立（Open Math OS 官網）。