@tao@mathstodon.xyz FYI: inverse Galois problem for n=23 has recently been proved! https://math.mit.edu/~poonen/papers/M23.pdf