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

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
SAIR
@SAIRfoundation
40m
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
SAIR
@SAIRfoundation
Aug 24
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: