OpenAI published a novel mathematical proof directly as an academic paper