Terence Tao & Nobel, Turing, Fields laureates advancing scientific discovery & guiding AI with scientific principles. Grounding intelligence. Scaling discovery.
Joined October 2025
- Tweets213
- Following58
- Followers5.5K
- Likes194
Pinned Tweet
The math community deserves its own AI system.
Introducing Open Math OS: the infrastructure for Math 2.0.
Open models and AI agents. 24/7 cloud compute with 100+ tools. The community controls its data.
Compute is free for approved teams. Apply now:
openmathmodel.org/
Invites & Rewards is live on Open Math OS!
Invite outstanding academic research teams. Once an invited team is approved, both teams are rewarded with one reset ticket each to reset their weekly quota.
Each reset ticket is valid for 30 days.
Apply now:
openmathmodel.org/
SAIR retweeted
thanks to @SAIRfoundation and @huggingface for adding Muse Spark Open to Open Math OS, a platform for math research with open-weight models, scientific tools and cloud compute. glad to help put more tools in the hands of math researchers :)
New on Open Math OS: Muse Spark Open by @AIatMeta
816B total parameters (42B active). 1M context window. Available now to all approved teams.
Apply for Open Math OS now:
apply.openmathmodel.org
SAIR retweeted
so excited for this!! huge thanks @AIatMeta, can't wait to dig into the Muse models with @AnimaAnandkumar at @Caltech and the meta team!
I've already been using Muse Spark Open a lot through Open Math OS from @SAIRfoundation, and they've helped me catch some real issues in some of our libraries!
Congrats to the other teams as well!!
Today we're announcing support for university research at @Caltech, @OhioStateMed, @LSU, @IndianaUniv, and @UTHealthHouston to help advance breakthroughs across science and medicine.
As part of the support for university researchers, we’ll provide access to our latest Muse models, including Muse Wonder and Muse Spark; open weight models like Muse Glimmer and Muse Spark Open; computer vision models such as SAM, V-JEPA, and DINO; as well as SeamlessM4T, our multilingual communication model.
We’re excited to support these five universities as they use our models to accelerate the important work they’re doing.
Read more on our research blog: go.meta.me/47G6wV3
SAIR retweeted
We are here to empower the math community and science community in general. We are committed to making the open models great at math too.
New on Open Math OS: Muse Spark Open by @AIatMeta
816B total parameters (42B active). 1M context window. Available now to all approved teams.
Apply for Open Math OS now:
apply.openmathmodel.org
New on Open Math OS: Muse Spark Open by @AIatMeta
816B total parameters (42B active). 1M context window. Available now to all approved teams.
Apply for Open Math OS now:
apply.openmathmodel.org
More than 500 teams are now using Open Math OS!
Approved teams get free compute for open frontier models and access to our scientific computing cloud.
We’re continuing to improve our features.
Apply now:
openmathmodel.org
We recommend applying with your research institution email so we can easily verify your affiliation.
Independent researchers are also welcome to apply!
Join our community to get support and connect with the research community:
zulip.sair.foundation/#narro…
We’re constantly improving the features in Open Math OS.
Let’s work together. Here’s a fresh reset to give everyone a boost!
Keep doing great math!
Apply for Open Math OS:
openmathmodel.org
New on Open Math OS: Mistral Large 4 by @MistralAI.
1.05T open weights. 1M context window. Available now to all approved teams.
Inference and model access for Mistral Large 4 are sponsored by @MistralAI, with zero data retention.
Thank you to @GuillaumeLample and the Mistral team.
Apply for Open Math OS now:
openmathmodel.org
New reset!
Teams are already hitting their weekly limits on Open Math OS, so we’ve reset the limits for everyone.
Keep doing great math!
Apply for Open Math OS:
openmathmodel.org
Mathathon 2.0: Old problems, new proofs.
Co-organized by @Caltech and @SAIRfoundation.
Access open models on Open Math OS: openmathmodel.org
Thanks to @xtxmarkets and National Compute for the support.
SAIR retweeted
We redesigned the Mathathon Challenge.
Introducing Mathathon 2.0.
Old problems, new proofs.
More than 300 research teams have been approved and are using Open Math OS.
We recommend applying with your research institution email so we can easily verify your affiliation.
We’re scaling up to serve the math and science community.
Apply now:
openmathmodel.org/
Today is a reset. We’re resetting as well!
Keep doing great math!
Apply for Open Math OS now:
openmathmodel.org
More than 200 research teams have been approved and are using Open Math OS.
We recommend applying with your research institution email.
We’ll prioritize serving research institutions as we scale up fast and speed up approvals.
Apply now:
openmathmodel.org
Reset incoming!
Teams are already hitting their weekly limits on Open Math OS, so we’re resetting usage for everyone.
Keep doing great math!
Apply for Open Math OS:
openmathmodel.org/
Open Math Harness is open source: the runtime of Open Math OS, infrastructure for Math 2.0.
Built for everyday math research: agents on open models with math and scientific computing tools, parallel exploration in Ultramath, autoformalization in Lean.
github.com/openmathmodel/ope…
To celebrate Open Math Harness going open source, we’re resetting usage limits for all Open Math OS users.
Keep doing great math.
Apply for Open Math OS now: openmathmodel.org/
Reset coming!
Some teams have already reached their weekly usage limits on Open Math OS, so we’re resetting weekly usage for everyone. Keep doing great math!
Apply for Open Math OS now:
openmathmodel.org/