SAIR

Our co-founder Terence Tao is announcing SAIR Foundation's inaugural competition: the Mathematics Distillation Challenge. Co-organized by @damekdavis, Terence Tao, and SAIR Foundation. competition.sair.foundation/competitions/m…

Terence Tao: AI is creating a “traffic jam” in math If AI generates more proofs than humans can verify, science needs new infrastructure. SAIR competitions build that infrastructure by surfacing high-quality results, so the best work is not lost in a flood of AI-generated math.

Tim Gowers: AI Is Already Producing PhD-Level Mathematics Fields Medalist Tim Gowers reflects on how quickly AI mathematical reasoning has advanced — from solving isolated problems to generating research-level mathematics in hours.

Lenore Blum takes on the hard problem of consciousness — the subjective feeling philosophers call qualia, made famous by Thomas Nagel's question of what it's like to be a bat. Where many say this demands a new kind of science, Blum argues consciousness is computational, emerging from a world model and an inner language she calls "Brainish."

With CS enrollments reportedly dropping 50% and new graduates struggling to find jobs, Turing Award winner Jeff Ullman poses the question that matters: if vibe coding makes programmers twice as productive, do we need half as many — or does twice as much work suddenly become feasible? His take: students will still need to learn to code, even if they mostly write it by prompting.

Randy Schekman tells the story of DeepMind founder @demishassabis — a chess champion at four who turned down a million-pound game-design salary, went to Cambridge, and completed a PhD in neuroscience before building the company that would go on to win him a Nobel Prize.

Barry Barish: How AI Helps Humanity Detect Gravitational Waves Barry Barish explains how AI helps scientists rapidly identify gravitational wave signals, combine data across observatories, and guide telescopes toward cosmic events happening millions of light-years away.

Thank you to everyone who joined us for the Science x AI Summit. Sessions posting daily on YouTube — subscribe so you don't miss one. Event photos are now live on our events page. @SAIRfoundation" target="_blank" rel="nofollow noopener">youtube.com/@SAIRfoundation sair.foundation/events/science…

Science x AI Summit 2026 (Palo Alto) - Part IV is LIVE NOW: twitter.com/i/broadcasts/1…

Science x AI Summit 2026 (Palo Alto) - Day 2 is LIVE NOW! Watch live on X: x.com/i/broadcasts/1…

Day 2 of the Science x AI Summit 2026 (Palo Alto) livestream begins May 13 at 9:30 AM PT. Watch live on X: twitter.com/i/broadcasts/1…

Welcome back. Part II of the Science x AI Summit 2026 livestream is LIVE NOW. x.com/i/broadcasts/1…

Science x AI Summit 2026 (Palo Alto) is LIVE NOW! Watch live on X: x.com/i/broadcasts/1…

The livestream for Science x AI Summit 2026 (Palo Alto) starts in 3 hours. Watch live on X: x.com/i/broadcasts/1…

The livestream for Science x AI Summit 2026 (Palo Alto) starts May 12 at 9:30 AM PT. Set a reminder and join us for conversations at the frontier of science and AI. Watch live on X: x.com/i/broadcasts/1…

Tutorial: how to use the Stage 2 Playground for the Mathematics Distillation Challenge - Equational Theories. Use the SAIR Playground to test and validate your solver before official submission. Join the Mathematics Distillation Challenge now: competition.sair.foundation/competitions/m…

The livestream for Science x AI Summit 2026 (Palo Alto) starts May 12 at 9:30 AM PT. Set a reminder and join @SAIRfoundation for conversations at the frontier of science and AI. Watch live on X: x.com/i/broadcasts/1…

Thank you to @UBS, @ciandt, and @DLA_Piper for sponsoring the Science x AI Summit, May 12–13 in Palo Alto. 100+ of the top scientists, industry, entrepreneurs, and capital in AI in-person. Thousands tuning in online. With thanks to @a16z, our networking partner. sair.foundation/events/science…

Join Stage 2 of the Mathematics Distillation Challenge - Equational Theories: competition.sair.foundation/competitions/m… For discussion, questions, and community updates, join the SAIR Zulip: zulip.sair.foundation

Great to see new solvers already coming from the community for Stage 2 of the Mathematics Distillation Challenge - Equational Theories. The Stage 2 Contributor Network is now open to facilitate open collaboration, shared tools, and collective progress across the community: competition.sair.foundation/contributor-ne…

AI x Life Science — the panel. Mod: Cheng Liu (Eureka Therapeutics) With: Ali Khademhosseini (3x Founder & CEO), Tim Kuruvilla (ex-Roche, SkyDeck), Deniz Kent (Prolific Machines), Hoifung Poon (Microsoft Research) Five operators at the frontier of AI and biology. One stage. Science x AI Summit. May 13. Register: sair.foundation/events/science…