 
- 积分
- 13313
- 威望
- 1940 点
- 铜板
- 7151 枚
- 西秦金币
- 0 个
- 鲜花
- 11 朵
- 在线时间
- 335 小时
- 注册时间
- 2021-8-3
|
数学大爆炸！OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
谁也没料到，2026 年最震撼整个学术圈的大新闻，会以这么粗暴的方式砸到所有人脸上。没有提前预告，没有同行评审，甚至完全无视学术界默认的发表礼仪，OpenAI 悄无声息就在 GitHub 上线了一个 math 项目库，直接甩出来 722 份全新的数学手稿，一口气解决了 372 个悬而未决几十年的顶级数学难题家族。
最炸的成果直接震得数论界集体失语，OpenAI 未公开的内部模型直接证明了拟黎曼猜想，还完成了 Lean 形式化验证，直接把狄利克雷 L 函数的无零点区域推进到了实部大于 7/8 的半平面，连困扰学界百年的朗道 - 西格尔零点都被彻底排除。这还没摸到黎曼猜想最终的 1/2 临界线，却已经是过去半个世纪解析数论最惊天的飞跃，一旦证实就是整个 AI 发展史和数学界的双重里程碑。
不止黎曼猜想相关的突破，这次公开的成果里，霍奇猜想在复乘阿贝尔簇方向被撕开了巨大缺口，理论计算机领域困扰学界 20 年的 “基本半定阈值下的普通 NP - 困难” 问题，被 AI 彻底绕开唯一游戏猜想的前提，只用标准 P≠NP 假设就完成了证明，相当于直接焊死了人类近似算法的理论天花板。除此之外，对称马勒猜想、普通两点 Chowla 猜想、泰特猜想等等一堆跨领域的世纪难题，全被一次性扫平。更离谱的是，OpenAI 披露，绝大多数难题的证明，内部模型平均只花了 3 小时的 ChatGPT Pro 算力。
其实早在今年 8 月，OpenAI 就秘密召集了全球 40 位顶级数学家闭门开会，当时就隐晦透露内部模型已经突破了上百个悬案，现场的数学家们是极致的兴奋混着极致的恐惧，所有人都苦劝 OpenAI，千万别像网红一样随便发个推特放个消息就完事，一定要按学术规范走正规发表流程，给人类学者留够消化和验证的时间。结果所有人的劝告都成了耳旁风，OpenAI 用最粗暴的方式直接宣示主权，甚至提前截胡了纳维 - 斯托克斯方程的相关突破，纽约大学的客座教授直接愤怒控诉，这些 AI 巨头的行径在数学家眼里和黑帮没有任何区别。
现在整个数学圈都陷入了深深的无力感，之前所有人还在自我安慰，说 AI 搞数学无非是在海量语料里做模式匹配，根本不可能有人类数学家的创造性直觉。但这次公开的手稿里，到处都是只有人类顶尖学者才会用的构造性反例、直觉转移、巧思转换，AI 不仅学会了人类的数学框架，甚至已经长出了属于自己的解题逻辑。有 OpenAI 的工程师私下直言，古典数学在今天已经死了，AI 会以不可阻挡的势头终结大多数职业数学家的生涯，OpenAI 研究员苏炜杰更是直接表态，这就是人类对智能认知的哥白尼式范式转变的开端。
有人说这是硅基探索真理的大幕才刚刚拉开，也有人恐惧最高维度的智慧权力正在被极少数科技寡头垄断，未来整个学术圈的规则都会被彻底改写。面对平均 3 小时就能产出顶级学术成果的 AI，人类数学家未来的路该怎么走，至今没人能给出答案。你觉得 AI 全面攻克数学领域之后，最先被冲击的会是哪个行业？评论区聊聊你的看法，觉得震撼的别忘了点赞收藏，转给身边学理科的朋友看看。 |
|
雷达卡
发表于
提升卡
置顶卡
变色卡
千斤顶
显身卡
楼主
