In parallel, a race by amateurs and mathematicians has found all 25,000 cases of one “inverse Galois problem”