正如几周前所宣布的，SAIR Open Math OS 现已进入软发布阶段。它提供与前沿 AI 模型相似的服务和 Web 界面，但目前托管的是现有的开源数学模型（DeepSeek V4.1 Flash、Kimi K3 和 GLM 5.3 Flash），这些模型大致落后于当前前沿水平约一年……