Post #4296011

John Jones, Jen Paulhus, David Roe, Andrew Sutherland, and I have launched the third SAIR challenge, this time aimed at attacking the notorious inverse Galois problem: https://competition.sair.foundation/competitions/igp24/discoveries https://terrytao.wordpress.com/2026/06/16/third-sair-competition-inverse-galois-challenge/ . We are focusing on the degree 24 case, which is almost the first unsolved case (excluding the notorious problem of whether the Mathieu group M_{23} is a Galois group). The first stage of the competition is focused on "brute forcing" as much of the 25000 Galois groups as possible (taking full advantage of modern AI tools), before launching a more focused second stage in which we make a more mathematically sophisticated attack on those groups that end up being resistant to brute force methods.