Terence Tao & Nobel, Turing, Fields laureates advancing scientific discovery & guiding AI with scientific principles. Grounding intelligence. Scaling discovery.
Joined October 2025
- Tweets199
- Following53
- Followers5.5K
- Likes174
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/
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/
Fields Medalists Terence Tao and Yu Deng discuss why understanding matters more than answers, how credit and citations hold up when machines build on centuries of human work, and why SAIR launched Open Math OS and Open Math Model.
Learn more at openmathmodel.org.
SAIR retweeted
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/
One month ago, we announced the Open Math Model initiative. Today, we’re launching Open Math OS.
Thank you to our launch partners @huggingface, @leanprover, @cscsch, and @EPFL
We’ve been building at full speed, and we’ll keep improving it with you.
Join our community
zulip.sair.foundation/#narro…
One month ago, we announced the Open Math Model initiative. Today, we’re launching Open Math OS.
Thank you to our launch partners @huggingface, @leanprover, @cscsch, and @EPFL
We’ve been building at full speed, and we’ll keep improving it with you.
Join our community:
zulip.sair.foundation/#narro…
Terence Tao, Barry Barish, Yu Deng, Alissa Park, Mohammed Abouzaid, Prabhakar Raghavan, @DrPatrick, and more. One day on AI x Math and Science at UCLA.
Oct 16.
Join Us:
sair.foundation/events/scien…
Thank you to our sponsors @UBS, Susquehanna (SIG), @DLA_Piper, @nebiusai , @SamsungNext , @liquidai, @SnorkelAI, @TalariaSci, and @Replit for making it possible.
The @Caltech community and SAIR are redesigning and co-organizing Mathathon: Old Problems, New Proofs.
Explore alternative proofs and clearer explanations, using AI to deepen human understanding.
More on our co-founder Terence Tao’s blog:
terrytao.wordpress.com/2026/…
Join us at Caltech on Nov 13-15 for Mathathon!
Thanks to lead donor @xtxmarkets and all the supporters for making this possible.
Apply to participate:
mathathonchallenge.com/
SAIR names @XTXMarkets and Susquehanna International Group as the first supporters of its open research program.
Problems from researchers. Work in public. Results released openly.
Thank you both.
Full announcement:
blog.sair.foundation/an-open…
