Open Math Model: The OS for collaborative math research and scientific computing

The Open Math Model initiative launched Open Math OS, a platform for collaborative mathematical research that combines open-source frontier models, a per-project scientific compute cloud with 100+ preinstalled mathematical and scientific computing tools, and data-sovereignty rules giving the mathematical community control over its data. The platform includes Ultramath, an agent system in which multiple agents pursue different approaches to one problem, share findings, and return proposed solutions to the user's chat, with results checked in Lean. Access requires signing in with a SAIR account and team approval, and the initiative plans research credits that reward contributions improving open models with compute and model access.

Open Math Model https://www.openmathmodel.org/initiative/ Infrastructure for Math 2.0 The OS for collaborative math research and scientific computing Built on open frontier models, with the mathematical community in control of its data. Team AMJ+2 Checked by LeanOddNumbers.lean · no goals The platform Models, compute, data, and people—in one system 01 models Open frontier models Leading open-source models, with agents exploring problems in parallel. 02 compute Scientific compute cloud A 24/7 cloud machine for every project, with 100+ mathematical and scientific computing tools preinstalled. 03 data Data sovereignty The mathematical community owns its data and decides how it is used. 04 collaboration Collaboration tools People and AI agents, united through shared projects, files, and conversations. 01Open frontier models Frontier reasoning, built in the open Choose the most capable open-source models and set the reasoning depth for each research task. Open weights let the community inspect, improve, and run them. Ultramath Explore in parallel. Bring the findings together Ultramath is Ultracode for math: agents pursue different approaches to one problem, share findings, and return proposed solutions to your chat. You decide what holds. 02Scientific compute cloud A mathematical laboratory for every project Every project has its own cloud machine with preinstalled tools for mathematics and scientific computing. Work runs 24/7, even with your laptop closed. Your files and results are there when you return. - Work in your browser. No local setup. - Upload files and folders. Download results into your workflow. - Browse, preview, and edit files alongside the conversation. 03Data sovereignty The mathematical community, in control Open Math OS upholds a core Open Math Model principle: the mathematical community owns its data and decides how it is used. Private by default Your team’s projects, files, and chats stay private until you choose to share them. Consent before training Training on your work requires your explicit consent, on terms agreed in advance. Rules set in public The community governs data collection and use. Credit stays with you You retain ownership of your work and credit for your ideas. 04Collaboration tools Mathematicians and AI agents. One research team Divide the work, from proving lemmas to revising the paper. People and agents share the same projects, files, and conversations. Team Members and their projects Projects Focused goals and topics Chats + Cloud Research records and files - Share chats by link, with their history, so colleagues can follow the reasoning. - Keep projects focused. Bring materials together when a task spans multiple projects. Open by design Mathematics is built in the open. Its tools should be too. Open Math OS is part of Open Math Model, an initiative uniting mathematicians to shape open models, research tools, and their governance. 1. Put it to workExplore its strengths and gaps on real research tasks. 2. Share what you learnContribute feedback, bug reports, and improvements. 3. Shape what comes nextBring the community’s priorities into future models and tools. Open Statement A shared vision for open models in mathematical research. Read the initiative Community Discuss priorities and results with mathematicians on Zulip. Join the discussion Partnerships Planned Connecting people and organizations across mathematical research. Research Credits Planned Contributions that improve open models earn credits for compute and model access. Build Math 2.0 Together 1. 1Sign in with your SAIR account 2. 2Introduce your team and research 3. 3Once approved, invite your collaborators