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,444

Followers

Replies Reposts Media Articles

Pinned
SAIR
@SAIRfoundation
Aug 25
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.
Lean Kernel Challenge - Stage 1 | SAIR Foundation
From competition.sair.foundation
1
SAIR
@SAIRfoundation
10h
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,
The Andrews–Curtis Conjecture (ACC) Challenge | SAIR Foundation
From competition.sair.foundation
1
SAIR
@SAIRfoundation
Sep 1
@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:
Science x AI Summit 2026 (Caltech) · SAIR
From sair.foundation
SAIR
@SAIRfoundation
Aug 31
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:
Science x AI Summit 2026 (Caltech) · SAIR
From sair.foundation
SAIR
@SAIRfoundation
Aug 28
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/science…
00:00