突发消息：OpenAI 未发布的 AI 模型解决了大约 4,000 个未解的数学问题。 该模型在每个结果上花费约 3 小时推理后，生成了 722 篇数学手稿。