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

Built on open frontier models, with the mathematical community in control of its data.

Is 1 + 3 + ⋯ + (2n − 1) always a perfect square? Check it, prove it in Lean, and add it to the paper.

Yes—the first n odd numbers sum to n². The Lean proof and the write-up are ready for your review.

Leading open-source models, with agents exploring problems in parallel.

A 24/7 cloud machine for every project, with 100+ mathematical and scientific computing tools preinstalled.

The mathematical community owns its data and decides how it is used.

People and AI agents, united through shared projects, files, and conversations.

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 is Ultracode for math: agents pursue different approaches to one problem, share findings, and return proposed solutions to your chat. You decide what holds.

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.

from sympy import symbols, summation k, n = symbols("k n", integer=True, positive=True) summation(2*k - 1, (k, 1, n))

Outn²

OddNumbers.leanLean

theorem sum_odd (n : ℕ) : ∑ i ∈ Finset.range n, (2 * i + 1) = n ^ 2 := by induction n with | zero => simp | succ k ih => rw [Finset.sum_range_succ, ih]; ring

No goals · checked against Mathlib

While you were away2 tasks finished · 02:14

03Data sovereignty

Open Math OS upholds a core Open Math Model principle: the mathematical community owns its data and decides how it is used.

Your team’s projects, files, and chats stay private until you choose to share them.

Training on your work requires your explicit consent, on terms agreed in advance.

The community governs data collection and use.

You retain ownership of your work and credit for your ideas.

Divide the work, from proving lemmas to revising the paper. People and agents share the same projects, files, and conversations.

I’ve added the proof to proof.lean for your review.

Move Section 3.1 to Section 4 in the paper draft.

Open Math OS is part of Open Math Model, an initiative uniting mathematicians to shape open models, research tools, and their governance.

Explore its strengths and gaps on real research tasks.

Contribute feedback, bug reports, and improvements.

Bring the community’s priorities into future models and tools.

A shared vision for open models in mathematical research.

Discuss priorities and results with mathematicians on Zulip.

Connecting people and organizations across mathematical research.

Contributions that improve open models earn credits for compute and model access.