Mathematicians reportedly use AI to solve a decades-old inverse Galois problem · Digg