OpenAI claims to have solved a decades old mathematical problem just as researchers are about to publish about their solution. Coincidence?