All the 25,000 groups for the degree-24 inverse Galois problem have now been found through the SAIR IGP24 Competition.
Congratulations to the entire community on this remarkable milestone!
competition.sair.foundation/competitions/i…
SAIR
@SAIRfoundation
Terence Tao & Nobel, Turing, Fields laureates advancing scientific discovery & guiding AI with scientific principles. Grounding intelligence. Scaling discovery.
Joined October 2025
- Field Medalist Yu Deng: AI Can Make Impossible Mathematics Possible Yu Deng discusses how AI is already helping mathematicians prove shorter theorems and why breaking complex problems into smaller pieces could dramatically accelerate mathematical research.
- Days after receiving the 2026 Fields Medal, Prof. Yu Deng sat down with our host Maddy Tao — on Hilbert's sixth problem, deriving order from randomness, and how AI is already changing mathematical research.
- A month into our IGP24 competition, the community appears to have settled the degree-24 existence question for the inverse Galois problem over Q. Shafarevich’s theorem proves existence for all finite solvable groups; all 807 non-solvable cases have explicit realizations.
- 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…
