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.
https://t.co/uuDizGTsVT
John Hennessy: we've cleared the Turing test — but it was never a tough enough bar. AI can now write a symphony like Beethoven or paint like Picasso.
We need to start asking: what actually makes humans different from the machines imitating us?
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.
https://t.co/mxulgZEz6V
https://t.co/k9V9qPiH41
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:
https://t.co/muy8clt1a7
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:
https://t.co/i1WEnL1Dus
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:
https://t.co/muy8clt1a7
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.
https://t.co/ViMPoyRVDN