Peter L.

At our Science x AI Summit, I spoke on SAIR: Open by Design. SAIR Competitions are our first step toward open Science x AI infrastructure: shared data, open models, transparent evaluation, and community collaboration around frontier scientific questions.

Terence Tao: Why is the math community excited about the Inverse Galois Challenge (IGP24)? IGP24 explores an orthogonal role for AI in mathematics: not replacing traditional expertise, but contributing through large-scale, verifiable search. Join IGP24: competition.sair.foundation/competitions/i…

Our co-founder Terence Tao spoke at UCR on what’s next for SAIR Competitions. He discussed how SAIR Competitions can help build open, cumulative, and verifiable progress in mathematics and science. Watch the talk:

The livestream for Science x AI Summit 2026 (UC Riverside) begins June 29 at 9:00 AM PT, bringing together scientists, AI researchers, and builders on accelerating science with AI and advancing AI through fundamental research. Live on X: x.com/i/broadcasts/1…

One week into Inverse Galois Problem 24 (IGP24), our contestants have already discovered 45k+ new (T,r) pairs (>27%) and 13k+ groups (>52%). This mathematical treasure hunt is moving fast. Join the competition and help push the frontier further: competition.sair.foundation/competitions/i…

On SAIR Builders of AI, I spoke with @alexosh, Co-Founder and CEO of Cost Plus Drugs, about why prescription drugs are so expensive in the U.S. and how a simpler model can bring costs down. Watch the full episode: youtu.be/jLFMJj3gpf8

Our IGP24 competition just crossed a huge milestone only 2 days after launch: 10,000+ new contestant discoveries beyond the LMFDB baseline! Join our mathematical treasure hunt: find degree-24 polynomials that reveal new Galois group/signature pairs. competition.sair.foundation/competitions/i…

Introducing SAIR API: a simple way to turn ideas, insights, and code into progress on SAIR competitions. For our IGP24 competition, you can use the SAIR API to submit polynomials, check results, and build your agentic AI workflows more efficiently. competition.sair.foundation/competitions/i…

Learn more about the 3rd SAIR Competition: Inverse Galois Problem (IGP24) from the blog post by our co-founder, Terence Tao: terrytao.wordpress.com/2026/06/16/thi…

We’re excited to launch SAIR’s 3rd competition: IGP24, the Inverse Galois Problem in degree 24. Co-organized by John Jones, Jen Paulhus, David Roe, Andrew Sutherland, and Terence Tao, in collaboration with LMFDB. Join the Compeitition: competition.sair.foundation/competitions/i…

SAIR Playground is an open space to test ideas, inspect outputs, and compare methods. Use SAIR Playground to test your model for the Modular Arithmetic Challenge: playground.sair.foundation/playground/mod… Join the SAIR competition: competition.sair.foundation/competitions/m…

Science x AI Summit comes to UC Riverside on June 29. SAIR co-founders Terence Tao and Barry Barish headline a day of keynotes and panels with leaders across the science x AI frontier. Agenda: sair.foundation/events/science…

Learn more about the Modular Arithmetic Challenge from our co-founder, Terence Tao: terrytao.wordpress.com/2026/06/08/mod…

The 2nd SAIR Competition is now open: the Modular Arithmetic Challenge. Can a neural network learn to compute (a × b) mod p for large numbers? Easy for standard algorithms, but a hard test of whether neural networks can generalize the computation. Join the SAIR competition: competition.sair.foundation/competitions/m…

Barry Barish discusses whether AI could one day discover entirely new laws of physics by finding patterns humans may never notice on their own.

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?

Richard Sutton: Much of today’s AI can produce outputs that are novel or good — but rarely both at the same time.

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."