OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵，数学家：读不过来
内容提要
OpenAI公开了未发布模型生成的722篇数学手稿，涉及准黎曼猜想、BSD猜想、霍奇猜想等，平均每项耗算力约ChatGPT Pro思考3小时。但三位菲尔兹奖得主组成的顾问组声明，不代表认可这些结果。数学家担忧AI产出速度远超人类理解速度，核验才刚开始。
延伸解读
顾问组的谨慎立场
由三位菲尔兹奖得主组成的独立顾问组声明，他们虽为OpenAI提供过建议，但不代表认可这些结果或产出过程。这提醒读者，手稿的发布不等于数学界的认证，证明是否成立需由各领域专家逐步核验。
核验进度与形式化差异
OpenAI在仓库中说明，这些手稿的核验进度各不相同，部分成果尚未提供Lean形式化证明。其中黎曼ζ函数实部大于11/12的证明还经过人工编辑以便阅读，而绝大多数结果由同一内部模型按固定流程生成，仅两项例外。
数学界的消化难题
数学家Francesco Maggi等人担忧，AI产出速度远超人类理解速度。此前一篇流体力学证明专家仍在研究，如今数百篇手稿同时出现，谁有精力逐一阅读并从中发现新方法，成为现实挑战。
发布前的沟通与争议
据WIRED消息，OpenAI曾召集约40名数学家讨论发布方式，部分与会者以为不会一次放出所有成果，但OpenAI表示不清楚有过承诺。9月的流体力学争议又让气氛紧张，凸显AI成果发布中沟通与归属的复杂性。
Q&A
OpenAI公开了多少篇数学论文？这些论文涉及哪些领域？
OpenAI公开了722篇数学手稿，归为372组结果，涉及数论、代数几何、理论计算机、统计力学等17个方向，包括准黎曼猜想、霍奇猜想、BSD猜想等。
OpenAI的模型在黎曼猜想上取得了什么具体进展？
OpenAI声称证明了ζ函数和所有狄利克雷L函数在实部大于7/8的区域没有零点，另一份独立证明给出实部大于11/12的版本，并一致排除了西格尔零点。
OpenAI在BSD猜想和霍奇猜想上分别声称证明了什么？
对于BSD猜想，OpenAI声称针对满足Selmer余秩为0或1等条件的椭圆曲线得到了完整公式，可覆盖绝大多数二次扭曲；对于霍奇猜想，处理了具有特殊复乘结构的阿贝尔簇和K3曲面的乘积，声称覆盖了复乘阿贝尔簇的所有维度和余维。
数学家对OpenAI发布大量数学论文的主要担忧是什么？
数学家担忧AI产出速度远超人类理解速度，核验才刚开始，且部分结果没有Lean形式化证明，需要领域专家慢慢消化。
OpenAI的顾问组对这批论文发表了什么声明？
由九位学者组成的独立数学与AI顾问组（包括三位菲尔兹奖得主）声明，他们此前给OpenAI提过建议，但不代表认可这些结果，也不代表认可OpenAI产出成果的过程。
OpenAI生成这些数学结果的平均算力消耗是多少？
平均每项结果消耗的算力约相当于ChatGPT Pro思考3小时。
