OpenAI 公开 722 篇 AI 生成数学研究手稿，涵盖准黎曼猜想与霍奇猜想等课题

OpenAI 在 GitHub 开源了由未发布内部模型生成的 722 篇数学手稿与部分 Lean 证明，共归为 372 组研究结果。手稿涵盖准黎曼猜想、霍奇猜想、BSD 猜想以及 π 的无理性指数等 17 个方向，平均每项结果消耗约相当于 ChatGPT Pro 思考 3 小时的算力。由多位菲尔兹奖得主组成的顾问组声明该公开不代表认可结论，相关推导仍需数学界同行逐步消化与核验。