OpenAI的722篇数学论文，将如何开启数学新纪元？