OpenAI 公开 722 篇 AI 生成数学论文与 Lean 证明

OpenAI 公开了 722 篇由未发布内部 AI 模型生成的数学论文手稿，并在 GitHub 托管了论文、源码和部分 Lean 形式化证明。这批成果归为 372 组结果，涵盖准黎曼猜想、霍奇猜想与 BSD 猜想等难题，平均每项消耗算力约相当于 ChatGPT Pro 思考 3 小时。包括 3 位菲尔兹奖得主在内的独立顾问组回应称，发布并不代表已认可这些证明，具体效力仍待数学界后续消化核验。