数週間前に発表されたように、SAIR Open Math OS はソフトローンチされました。これは、最先端のAIモデルに類似したサービスとWebインターフェースを提供しますが、現在、私たちは既存のオープン数学モデル（DeepSeek V4.1 Flash、Kimi K3、GLM 5.3 Flash）をホストしており、これらは現在の最先端から約1年遅れています[...]