OpenAI 公开 722 篇数学成果，数学家称需数年消化

OpenAI 在 GitHub 公开一批由内部未发布前沿模型生成的数学研究成果，共 722 篇，涉及数论、代数几何、分析、组合数学等方向，部分配有 Lean 形式化证明。OpenAI 称其中仅 300 项核心结果完成形式化验证，约占 42%，且未披露所用模型和提示词。多位数学家向《The Verge》表示，仅理解这批内容就可能需要数年，有人的研究计划因此被覆盖，验证本身正成为新的瓶颈。