Among the hundreds of mathematical achievements announced by OpenAI were proofs for problems that had remained unsolved for decades. In response, mathematicians around the world have formed an organiz ...