Days before we spoke, OpenAI revealed it had produced the solutions to 10 long-standing mathematics problems, some of which had confounded academics for decades. They are among the latest examples of problems mathematicians seriously care about falling to AI. The issue goes beyond how many problems AI can solve. For established researchers, meanwhile, handing off more routine work to AI could free up time to focus on more creative and conceptual parts of mathematics. AI is moving too fast, and the mathematics it is producing is still too fresh to judge what its impact may be.