最近知乎上有个热题炸了：“如何评价霍奇猜想（七大千禧难题之一）疑似被 OpenAI 解决？” 我刷到的时候第一反应是——好家伙，千禧难题也轮到大模型来攻克了？点进去一看，果然评论区已经吵成一片，有人高呼“数学终结者来了”，也有人冷静表示“疑似这个词用得很灵性”。
先说结论：这大概率不是真的，或者至少远不到“解决”的程度。 但这件事本身，值得好好聊聊。
霍奇猜想是什么？为什么它这么难？
如果你不是数学专业，可能只听过“七大千禧难题”的名头，知道每个奖100万美元。霍奇猜想是其中之一，它由英国数学家威廉·霍奇在1950年提出，核心问题是：对于某些复杂的几何空间（代数簇），那些“漂亮”的拓扑形状，能不能用代数方程定义的子空间拼出来？
听起来像绕口令，但它在代数几何和拓扑学之间架桥，关乎我们对空间结构的根本理解。一百多年来，顶尖数学家啃不动它，它不像庞加莱猜想那样有佩雷尔曼式的孤胆英雄，更像一个“我给出定义，你们慢慢玩”的巨型迷宫。
所以，当“OpenAI解决霍奇猜想”这种消息出现时，数学界的本能反应是：你在逗我？
“疑似”到底是怎么回事？
我专门去翻了原始讨论，目前没有任何官方论文或克雷研究所的确认。所谓的“疑似”，大概率来自某个AI在对话中给出了一个看起来像证明的推导过程，或者OpenAI内部跑了个实验，被网友截了图。这类事情去年也有过——比如“ChatGPT解决了黎曼猜想”，结果只是生成了一段看似合理但漏洞百出的符号游戏。
但这次为什么能上知乎热题？因为OpenAI确实在数学推理上秀过肌肉：o1系列模型能在奥数题上拿高分，去年还搞出了辅助证明数学定理的工具。于是大众自动脑补成了“AI已经碾压人类数学之巅”。
我的判断：这不是一个真正的数学突破，而是一次舆论的“狼来了”。 真正的霍奇猜想证明，需要严格的逻辑链条、新的数学工具，不是几句推理能搞定的。哪怕AI真的找到了思路，也必须经过人类数学家的审稿和形式化验证，这个周期少则一两年，多则无期。
更好的问题：AI能帮我们解决千禧难题吗？
抛开这次乌龙，背后有个真问题：AI在数学研究中到底能扮演什么角色？
我的观点是：它是个超级聪明的“猜想生成器”和“证明助手”，但离独立解决千禧难题还差着“理解”这一步。 现在的大模型做数学，本质是模式匹配和概率预测。它能在已有知识库中寻找组合路径，甚至可以给出让人眼前一亮的跳跃性思路——这很像人类数学家的“灵感闪现”。但它没有真正的几何直觉，也无法证明“为什么这个方向一定走得通”。
更好的场景是让AI辅助人类。比如Lean这类形式化证明工具，已经帮数学家验证过不少复杂定理。OpenAI如果真想让AI载入数学史，应该去冲一些“人类已经证明但过程极其冗长”的定理，把证明掰开揉碎，而不是一上来就挑战霍奇。
吃瓜归吃瓜，别忘了什么才是真进展
这次热题的最大意义，不是霍奇猜想被解决（大概率没有），而是让更多人开始思考：当AI的推理能力越来越强，数学的“创造性”还能被人类垄断多久？
我的回答是：短期别慌。数学不仅是逻辑，更是直觉、审美和对美的追求。霍奇猜想之所以有魅力，是因为它跟物理、代数几何、弦论都有千丝万缕的联系，这种跨域的联系，目前的AI还学不会。它也许能在给定框架内推公式，但“提出一个好问题”这件事，仍然属于人类。
所以，如果你看到“霍奇猜想疑似被OpenAI解决”这个知乎热题，请把它当作一次科普的契机，而不是世界末日的号角。不妨去搜搜霍奇猜想的背景，或者看看AI辅助证明的案例，你会发现：数学依然充满未解之谜，而AI只是我们手中新的大号计算尺。
最后送大家一句话：如果有人告诉你有AI解决了千禧难题，请先问一句——论文在哪儿？代码在哪儿？有没有通过形式化验证？
如果没有，那就当个段子听吧。
微信扫码查看