Infrastructure for Math 2.0
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
Open frontier models
Leading open-source models, with agents exploring problems in parallel.
02
Scientific compute cloud
A 24/7 cloud machine for every project, with 100+ mathematical and scientific computing tools preinstalled.
03
Data sovereignty
The mathematical community owns its data and decides how it is used.
04
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.
-
Put it to workExplore its strengths and gaps on real research tasks.
-
Share what you learnContribute feedback, bug reports, and improvements.
-
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 #
- 1Sign in with your SAIR account
- 2Introduce your team and research
- 3Once approved, invite your collaborators