Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, what happens to the idea of human genius? That question is no longer ...