OpenAI公开722份数学手稿，含拟黎曼猜想证明
nashnova research
OpenAI一次性在GitHub公开722份数学手稿，涵盖拟黎曼猜想、霍奇猜想等顶级难题，AI产出速度已远超人类验证能力，数学界从震惊转向公开对抗。
722份手稿一次倒出来，规模有多夸张？
2026年10月7日，OpenAI在GitHub仓库一次性公开722份数学手稿，覆盖372个问题家族，涉及数十年未解的顶级难题。
每道题平均消耗3小时ChatGPT Pro推理算力，总共向模型提出约4000个问题，绝大多数成果来自同一个未发布的内部模型。
这意味着→ 这不是"偶尔解出一道难题"，而是工业化批量产出数学证明——8月放10道，9月放100多道，10月直接倒722份。
拟黎曼猜想和霍奇猜想，到底突破了什么？
在数论领域，AI证明所有狄利克雷L-函数（一类用来研究质数分布规律的数学工具）在实部大于7/8的区域内没有零点，并彻底排除了朗道-西格尔零点。
用大白话说＝ 黎曼猜想要求证明零点全部落在"实部等于1/2"这条线上，AI还没走到那一步，但把"确认没有零点"的范围从模糊地带推进到了固定常数界，被称为解析数论半个世纪来的重大进展。
在代数几何领域，AI证明了复数域上特定条件下的霍奇猜想，还顺带证明了有限域上所有阿贝尔簇的泰特猜想。
在计算复杂性领域，AI不依赖"唯一游戏猜想"这一前提，直接基于标准P≠NP假设，封闭了理论计算机科学近二十年的核心开放问题。
数学家为什么从支持变成公开对抗？
8月OpenAI曾召集约40位数学家闭门开会，暗示已解决数百个难题，并给出过"不会一次全部放出"的保证——10月直接食言。
西北大学数学家布里纳·克拉表示，数学家建议走正式论文发表路径，「这些建议显然被忽略了」。纽约大学访问教授内斯托尔·吉伦直接将AI公司比作"黑帮"。
这反映出 矛盾的核心不是AI能不能做数学，而是谁有权决定知识的发布节奏——科学共同体的同行评审，还是科技公司的产品发布日程。
陶哲轩说的"证明消化不良"是什么意思？
菲尔兹奖得主陶哲轩联合25位菲尔兹奖得主发表公开声明，炮轰AI公司把数学当基准测试刷。
他提出一个证明的完整生命周期有五步：提出解答 → 机器验证 → 翻译成人话 → 同行消化 → 写进教科书。AI在前两步狂飙，后三步进展几乎为零。
用大白话说＝ 证明写出来了、机器也确认逻辑没错，但没有人类数学家真正理解它、把它变成可教授的知识——这就是"消化不良"。
"智能爆炸"从论文走向现实，到了什么程度？
9月28日，辛顿、本吉奥、OpenAI首席科学家帕霍茨基等逾20位重量级人物联合发表论文，标题直接是《如果自动化AI研发引发了智能爆炸怎么办？》。
论文披露，截至2026年8月，Anthropic内部AI系统已独立完成26%的AI研发工作，五个月前这一比例仅为1%。
这意味着→ 数学只是最清晰的窗口——因为证明对就是对、错就是错。真正的问题已经不是AI能不能超过人类，而是当产出速度远超验证速度，谁来确认知识的有效性。
市场有风险，内容仅供研究参考，不构成投资建议。