OpenAI 公开内部模型生成的 722 篇数学研究手稿及 Lean 证明

OpenAI 公开了一个未发布内部模型产出的 722 篇数学手稿，涵盖 372 组研究结果，并将论文、源码与部分 Lean 证明上传至 GitHub 仓库。研究课题涉及准黎曼猜想、霍奇猜想、BSD 猜想等多个数学方向，官方称平均每项结果消耗的算力约相当于 ChatGPT Pro 思考 3 小时。