# SAIR — The Foundation for Science and AI Research

> Co-founded by Terence Tao, SAIR unites Nobel, Turing, and Fields laureates to scale scientific discovery with AI, and ground AI in science. Tagline: "Grounding Intelligence. Scaling Discovery."

SAIR (the Foundation for Science and AI Research) is a non-profit that supports research programs and connects world-leading scientists with enterprise partners to advance the theoretical foundations of AI and unlock new frontiers in scientific discovery. Terence Tao, alongside Nobel, Turing, and Fields laureates, leads SAIR in advancing scientific discovery and guiding AI with scientific principles for humanity.

This file is a plain-text map of the site for AI agents and crawlers. The main website is a JavaScript-rendered single-page app; the Markdown shadows linked below carry the same content as readable text.

## Core programs

- Research Network: An ecosystem uniting Nobel, Turing, and Fields Medal laureates with pioneering scientists across disciplines.
- Corporate Partnership: Membership program connecting Fortune 500 companies & AI industry leaders.
- Global Conferences: Amplifying new discoveries through worldwide awards, events, and media.

How it works: Fund (support frontier research with funding, AI tools, and compute) → Collaborate (academia and enterprise working side-by-side on real data and experiments) → Ecosystem (breakthroughs flow back to inspire new research and inform industry).

## Key pages

- [Home](https://sair.foundation/): SAIR's mission, core programs, and how the model works. Markdown: [index.md](https://sair.foundation/index.md)
- [Events](https://sair.foundation/events): Summits, workshops, and gatherings hosted by SAIR. Markdown: [events.md](https://sair.foundation/events.md)
- [Competitions](https://competition.sair.foundation): Open mathematical and AI discovery challenges.
- [Blog](https://blog.sair.foundation/): News, essays, and announcements.

## Events

- [Science x AI Summit 2026 (Caltech)](https://sair.foundation/events/science-ai-summit-2026-caltech): September 11, 2026 · Caltech · In-Person. The Science x AI Summit at Caltech brings together leading scientists, industry, AI builders, and investors for a day of talks, panels and discussions at the frontier of science and AI. Co-organized by Merkin Center and SAIR, the Summit is designed to advance research and connect the scientific community shaping the future of AI. Speakers include Chuck Ng, Barry Barish, Sergei Gukov, Terence Tao, Peter L., Anima Anandkumar, Sabeer Bhatia, Amir Naiberg, Raj Singh, Gaurav Sukhatme, Guang Cheng, Fred Farina, Josh Seidenfeld, Euwyn Poon, Scott Clark, Jiachen Liu, Vincent Alessi, Vincent Chen, Eric Wang, Shuxiang Cao, Dorothy Li, Noah Carr, Amit Gupta, Diane Choi, Jon Chu, Andrew Schoen, and Tony Chou. The tentative agenda runs from check-in at 8:00 AM through an evening reception ending at 6:10 PM.
- [Science x AI Summit 2026 (UC Riverside)](https://sair.foundation/events/science-ai-summit-2026-uc-riverside): June 29, 2026 · UC Riverside · In-Person & Online. Accelerating basic science with AI; advancing AI through fundamental research. A collaborative workshop hosted by CECI and SAIR.
- [Science x AI Summit 2026 (Palo Alto)](https://sair.foundation/events/science-ai-summit-2026): May 12-13, 2026 · Palo Alto · In-Person & Online. Two days of high-signal conversation at the frontier with leading scientists, AI pioneers, industry leaders, investors and builders.
- [Happy π Day 2026](https://sair.foundation/events/happy-pi-day): March 14, 2026 · Online. A celebration of mathematics as the hidden language of science and modern intelligence.
- [AI for Science: Kickoff 2026](https://sair.foundation/events/ai-for-science-kickoff-2026): February 10, 2026 · UCLA Campus · In-Person & Online. The inaugural event bringing together pioneers defining how AI will accelerate scientific discovery.

## Competitions

- [Inverse Galois Problem (IGP24)](https://competition.sair.foundation/competitions/igp24): A mathematical discovery challenge to expand the known map of degree-24 equations and their hidden symmetries.
- [Modular Arithmetic Challenge](https://competition.sair.foundation/competitions/modular-arithmetic-challenge): Can a neural network learn to compute (a × b) mod p for integers hundreds of digits long? An open probe of where exact machine reasoning breaks down.
- [Mathematics Distillation Challenge — Equational Theories (Stage 1)](https://competition.sair.foundation/competitions/mathematics-distillation-challenge-equational-theories-stage1): Submit a single knowledge prompt that guides an LLM to decide whether one equation implies another. The prompt must include placeholders for Equation 1 and Equation 2 so each evaluation problem can be inserted automatically. SAIR's first competition, announced by Terence Tao.
- [Mathematics Distillation Challenge — Equational Theories (Stage 2)](https://competition.sair.foundation/competitions/mathematics-distillation-challenge-equational-theories-stage2): Submit a solver that, for each pair of equations, produces a machine-verified Lean 4 certificate, adjudicated by a deterministic Lean judge.

## Community & platforms

- [SAIR ID & Collaborations](https://id.sair.foundation/collaborations): Apply to collaborate with SAIR.
- [Benchmark](https://benchmark.sair.foundation): SAIR benchmarks.
- [Playground](https://playground.sair.foundation): Interactive playground for SAIR challenges.
- [Zulip](https://zulip.sair.foundation/): Community chat.
- [Hugging Face](https://huggingface.co/SAIRfoundation): Datasets and models.
- [GitHub](https://github.com/SAIRcompetition): Open-source competition code.

## Connect

- Press & contact: press@sair.foundation
- YouTube: https://www.youtube.com/@SAIRfoundation
- LinkedIn: https://www.linkedin.com/company/sairfoundation
- X: https://x.com/SAIRfoundation
- Luma (event calendar): https://www.luma.com/sair