OpenAI开源722篇AI数学手稿，涵盖准黎曼猜想等成果

OpenAI将其内部模型生成的722篇数学手稿打包上传至GitHub，供公众查看和检验。这些手稿归为372组成果，涉及准黎曼猜想、唯一博弈猜想、霍奇猜想特殊情形及自由群因子问题。其中162篇主结论附有Lean形式化材料，部分成果仍处于未完全验证阶段。生成这些成果的模型暂未开放，数学家需通过独立审查与理解来消化这些AI产出的研究内容。