Terence Tao & Nobel, Turing, Fields laureates advancing scientific discovery & guiding AI with scientific principles. Grounding intelligence. Scaling discovery.
Joined October 2025
- Tweets194
- Following53
- Followers5.3K
- Likes166
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/
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…
Today we introduce Open Math Model: open models and tools for mathematics.
Built for everyday research, shaped by the mathematical community, and developed in the open.
Read our co-founder Terence Tao’s blog:
terrytao.wordpress.com/2026/…
We’re seeking partners for Open Math Model who can contribute funding, compute, expertise, or community building.
Register your interest:
sair.foundation/open-math-mo…
Or join the discussion on SAIR Zulip:
zulip.sair.foundation/
Lean Kernel Challenge Stage 1 is live!
Join @leanprover and SAIR to improve the performance of verified computation in the Lean 4 kernel that the whole community can benefit from.
competition.sair.foundation/…
SAIR retweeted
Thank you @SAIRfoundation and Terry for helping organize a wonderful conference at @Caltech It is important to have events like this that brings us together as a community
