OpenAI发布722篇数学论文，覆盖黎曼猜想等重大问题

OpenAI近日一次性公开722篇数学手稿，涉及黎曼猜想、霍奇猜想、BSD猜想等数学领域重大问题，引发数学界广泛关注。这些手稿由一个未发布的内部模型生成，涵盖数论、代数几何、理论计算机等17个方向。

根据OpenAI披露，模型共尝试解决约4000个数学问题，每项结果消耗的算力相当于ChatGPT Pro思考3小时。论文、源码和部分Lean证明被上传至GitHub，包含准黎曼猜想、π的无理性指数、卡塔兰常数无理性等突破性成果。

数学家们对这批论文表示惊叹，但也担忧其阅读难度。顾问组由三位菲尔兹奖得主Timothy Gowers、Martin Hairer及Edward Witten组成，强调这些成果尚未经过同行评议，需由领域专家进一步验证。

部分论文涉及千禧难题，如伯奇-斯温纳顿-戴尔猜想和霍奇猜想。其中关于复乘阿贝尔簇的论文声称覆盖所有维度和余维，但霍奇猜想的完整证明仍需更多研究。此外，OpenAI还宣称证明了唯一游戏猜想，并给出最大割、顶点覆盖等问题的近似难度结论。

发布前，OpenAI曾与数学家讨论成果发布方式。部分学者希望看到更清晰的论文格式，而公司表示未承诺分批发布。9月流体力学证明争议后，数学界对AI生成论文的验证机制仍存疑虑。

尽管成果引发热议，但多数数学家认为需时间消化这些成果。顾问组指出，当前AI生成论文的速度已远超人类理解能力，数学家只能在后方跟进。部分成果尚未完成Lean形式化证明，验证工作仍在进行中。