SAIR

@SAIRfoundation

Terence Tao & Nobel, Turing, Fields laureates advancing scientific discovery & guiding AI with scientific principles. Grounding intelligence. Scaling discovery.

sair.foundation

Joined October 2025

Following

4,803

Followers

Replies Reposts Media Articles

Pinned
SAIR
@SAIRfoundation
Sep 18
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
SAIR’s Open Math Model initiative
Last year I co-founded the Foundation for Science and AI Research (SAIR) with some private donors to create a non-profit organization that could support responsible uses of AI in mathematics and th…
13
SAIR
@SAIRfoundation
Sep 21
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:
An Open Commitment to Mathematics and Science
From blog.sair.foundation
SAIR
@SAIRfoundation
Sep 21
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:
00:00
1
SAIR
@SAIRfoundation
Sep 15
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.
Lean Kernel Challenge - Stage 1 | SAIR Foundation
From competition.sair.foundation
2
SAIR
@SAIRfoundation
Sep 12
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
Proof Track | The Andrews–Curtis Conjecture (ACC) Challenge | SAIR Foundation
Read proof track for The Andrews–Curtis Conjecture (ACC) Challenge. A competition to find short trivializations of group presentations and to prove or disprove...