SAIR が Open Math OS を公開　数学研究向けのオープンモデルとエージェントの作業環境

發生什麼事

SAIR によると、このプラットフォームは Open Math Model 構想の発表から 1 か月後の公開で、EPFL、CSCS、Lean、Hugging Face が提携先です（@SAIRfoundation）。公式サイトの説明では、研究はすべてクラウド上で進み、ユーザーがオフラインの間も計算は止まりません。プロジェクトごとに電源を落とさないマシンが 1 台付き、Lean、Mathlib、SageMath など 100 を超える数学・科学計算ツールが入った状態で使えます。モデルは DeepSeek V4.1 Flash、GLM 5.3、Kimi K3 などのオープンモデルから切り替えられます。Ultramath モードでは、結論が成り立つかの判断はあくまで研究者が下し、その前段として複数のエージェントが 1 つの問題に別々の解き方で同時に挑み、出てきた解答案が会話に集められます（Open Math OS 公式サイト）。