SAIR Open Math OS released

As announced a few weeks ago, the SAIR Open Math OS is now soft launched. It offers services and web interfaces similar to frontier AI models, though currently we are hosting existing open math models (DeepSeek V4.1 Flash, Kimi K3, and GLM 5.3 Flash) which are roughly a year or so behind the current frontier models in capability; so not able to perform “one-shot problem solving” of the type we have heard frequently about in recent months, but capable enough for many other useful mathematical tasks, such as medium-sized Lean formalization, or summarizing or discussing a mathematical argument or topic. Here is a typical screenshot: We are in the process of gathering partners to develop a more fine-tuned model for mathematics by post-training on an existing open model; see this link (and the associated Zulip channel) for more details. One feature of our model is the emphasis on team accounts rather than individual accounts, in which members of a team see each other’s prompts. We believe…