SAIR
@SAIRfoundation
Terence Tao & Nobel, Turing, Fields laureates advancing scientific discovery & guiding AI with scientific principles. Grounding intelligence. Scaling discovery.
59 Following 5.7K Followers
Terence Tao’s UCLA talk on Math 2.0 explores what comes after proof abundance.
More proofs don’t mean more understanding. We need better questions, deeper insight, and open infrastructure.
Our Open Math Model is building toward that vision:
Full Video:
Show more
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:
Show more
New on Open Math OS: Mistral Large 4 by @MistralAI.
1.05T open weights. 1M context window. Available now to all approved teams.
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:
Show more
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:
Show more
The Andrews–Curtis Conjecture (ACC) Challenge Discovery Track is live!
Turn computational search into verifiable progress on a longstanding conjecture in group theory. Find short move sequences for 10,115 presentations.
Join:
Show more
@AnimaAnandkumar just launched @accelerated_u: neural operators instead of transformers, physical prediction instead of text, five trillion data points in a single prompt.
She is on stage at @Caltech.
Apply to attend:
Show more
Science x AI Summit 2026 (Palo Alto) - Part IV is LIVE NOW:
Science x AI Summit 2026 (Palo Alto) is LIVE NOW!
Watch live on X:
