Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...