OpenAI 公布 722 份 AI 产出的数学手稿，部分附 Lean 形式化证明

OpenAI 公布了一批由内部前沿模型产出的数学研究成果，共 722 份数学手稿、372 组相关成果，覆盖数论、代数几何、实分析、组合数学、理论计算机、数学物理、偏微分方程等方向。部分成果附有可由计算机核验的 Lean 形式化证明，社区初步核查发现其中涉及多个长期未解的开放问题，但具体结论仍需数学界进一步审阅与验证。OpenAI 表示，AI 正在从辅助解题走向参与真正的数学研究与发现。