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

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
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
SAIR
@SAIRfoundation
Aug 27
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:
Science x AI Summit 2026 (Caltech) · SAIR
From sair.foundation
1