Terence Tao & Nobel, Turing, Fields laureates advancing scientific discovery & guiding AI with scientific principles. Grounding intelligence. Scaling discovery.
- Tweets 180
- Following 44
- Followers 4,802
- Likes 155
Pinned Tweet
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/…
13
114
572
30,156
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…
3
19
1,323
At our Science x AI Summit at Caltech, our co-founder Terence Tao discusses the 25 Fields Medalists’ declaration and introduces the Open Math Model initiative.
Built for everyday research, shaped by the mathematical community, and developed in the open.
Full video:
1
7
25
1,432
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/…
13
114
572
30,156
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/
9
1,697
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/…
2
15
79
5,160
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
1
1
23
1,666
The Andrews–Curtis Conjecture Challenge Proof Track is live!
Submit proofs or disproofs of AC or Stable AC. Written proofs, Lean formalizations, and partial results are welcome.
Share and discuss on the SAIR Contributor Network.
Join the Proof Track:
competition.sair.foundation/…
2
10
779
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:
competition.sair.foundation/…
2
6
18
1,021
Learn more about the Andrews–Curtis Conjecture Challenge in a guest post by our co-organizer Lucas Fagan on Terence Tao’s blog:
terrytao.wordpress.com/2026/…
6
426
We’re launching the Andrews–Curtis Conjecture (ACC) Challenge with @Caltech
Two open problems: AC and Stable AC
Can simple moves reduce complex presentations of the trivial group to standard form?
Two tracks, each covering both problems:
Discovery (launches Sep 11): Find short, verified move sequences
Proof (launches Sep 20): Prove or disprove either conjecture
Registration is open:
competition.sair.foundation/…
1
5
14
1,094
There is a difference between a model that scores well on a math benchmark and a model that helps settle a conjecture.
Sergei Gukov works on the second kind. Quantum field theory, topology, knot theory. He is with us at @Caltech.
Apply to attend:
sair.foundation/events/scien…
10
767
Our co-founder Terence Tao explains why AI needs new scientific infrastructure alongside traditional research channels. SAIR is building the open infrastructure to make it possible.
Apply to attend our summit and learn more:
sair.foundation/events/scien…
2
18
939
In 1994, LIGO was a project many physicists had written off. Barry Barish rebuilt it into a thousand person collaboration, and 21 years later it caught two black holes colliding a billion light years away.
He opens our summit at @Caltech.
Apply to attend:
sair.foundation/events/scien…
1
2
10
552
SAIR retweeted
We're excited to be working with @SAIRfoundation on the Lean Kernel Challenge. More info below.
#LeanLang #LeanProver
SAIR's next competition has arrived: the Lean Kernel Challenge, co-organized with @leanprover.
Improve the performance of verified computation in the Lean 4 kernel that the whole community can benefit from.
Stage 1 pre-registration is open. Official launch: Sep 15.
competition.sair.foundation/…
2
7
64
8,628
SAIR's next competition has arrived: the Lean Kernel Challenge, co-organized with @leanprover.
Improve the performance of verified computation in the Lean 4 kernel that the whole community can benefit from.
Stage 1 pre-registration is open. Official launch: Sep 15.
competition.sair.foundation/…
1
10
58
12,074
Co-organized by Lean FRO (@leanprover) and the SAIR Foundation.
Organizing Committee: Joachim Breitner (@nomeata), Leonardo de Moura (@Leonard41111588), Kim Morrison (@tqft), and Terence Tao.
3
17
1,152
On this special episode of Builders of AI, @sytses of @gitlab and @JAC0BSTERN, share how AI guided Sid's cancer treatment: from single-cell sequencing to radioligand therapy to a personalized mRNA vaccine. Sid is now 14 months cancer-free.
Full episode: piped.video/HHsuXYcBW7U
3
10
1,224
SAIR Science x AI Summit — @Caltech, Friday, September 11.
Keynotes from Nobel Laureate Barry Barish, Fields Medalist Terence Tao, and Sergei Gukov, plus AI for Science pioneer @AnimaAnandkumar. Co-hosted with the Caltech Merkin Center.
Apply to join:
sair.foundation/events/scien…
1
2
23
2,067
100 of the best minds across academia, industry, and capital — speakers from @nvidia, @Microsoft, @SnorkelAI, @SamsungNext, @khoslaventures, @NEA, @UCLA, and @USC — plus a networking happy hour to close out the day.
2
264