SAIR

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:

My talk will be soon live-streamed. See you there!

The afternoon session for the Science x AI Summit 2026 (UC Riverside) is LIVE NOW: x.com/i/broadcasts/1…

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…

Part II (afternoon session) x.com/i/broadcasts/1…

Science x AI Summit (UC Riverside) is next Monday, June 29, 9 AM PT. AI for analyzing scientific data, model synthesis, and theory-building. Terence Tao, Barry Barish, Anima Anandkumar (@AnimaAnandkumar), Rana Adhikari (@RanaXAdhikari), and more. Live on X, Part I (morning): 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…

Help expand the map of degree-24 Galois groups by finding polynomials that realize new group/signature pairs beyond the LMFDB baseline. Submit polynomials through the SAIR website or API. Magma and PARI/GP handle the verification. We’re excited to see what the community finds!

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…

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…

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…

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.

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

SAIR Playground for the Modular Arithmetic Challenge: playground.sair.foundation/playground/mod…

To test your model: Upload your model to @huggingface, then use SAIR Playground to run the evaluation pipeline. You can also test locally with the tools in our GitHub repo. Official repo: github.com/SAIRcompetitio…

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…