值得入坑，但入的不是同一个"坑"。
当地时间10月26日，OpenAI宣布证明适用于所有维度的局部光滑猜想，一举推平包括挂谷猜想在内的调和分析四大猜想；而它推倒的这座山头，正是三个月前特稿《王的猜想》刷屏的主角王虹成名的地方——那份报纸一度从1.5元被炒到65元。知乎小红书
官方给出的时间线值得较真：AI产出在10月18日，次日完成Lean形式化验证，随后OpenAI联系专家商议组建协作项目。机器逐行检查已经过关，人类数学家的独立审查才刚开始。界面新闻
公告也给自己划了边界。OpenAI明确表示，这些文稿应当被视作原始研究数据，而非已经定型、获得学界公认的结论。所以"一夜通关"四个字要打上引号——而对新手来说，引号内外各意味着什么，才是入坑与否的全部答案。界面新闻
"通关"通的是整条链，不是一个题
挂谷问题的起点小得惊人：一根长度为1的针在平面上掉头，最少要扫过多大的地方？平面情形1971年就证完了，三维卡了人类半个世纪，直到2025年2月，王虹与合作者Joshua Zahl交出127页论文，把三维挂谷集合猜想钉死；今年7月的国际数学家大会上，她因此拿下菲尔兹奖。新智元量子位
这次被"推平"的四大猜想——Sogge局部光滑（1991年提出，问的是波聚焦的峰值能持续多久）、Bochner–Riesz、Stein傅里叶限制、挂谷——本来就是一条互相咬合的链，最底层成立不能反推出最顶层，所以王虹拿下三维之后，另外三个依然挂着。AI这次的路线恰好反过来：从链条最顶端的局部光滑猜想切入、带崩整条链，核心还是一种此前没人用过的辅助偏微分方程工具。更有意味的是，AI手稿里出现最多的名字之一仍是王虹——仅三维那篇，"Wang"就出现了23次：机器盖的楼，还压在人类浇的地基上。知乎量子位
从"公布"到"认可"之间，错误记录同样真实
对新手而言，比"AI解了什么"更要紧的是：这轮攻势的成绩单，至今没有人类学界兜底。9月8日，OpenAI高调宣布AI解决了千禧年难题纳维-斯托克斯方程，消息出来后一群顶尖数学家联名声明，批评它没有留出时间做规范的论文撰写、方法提炼和对前人工作的引用，签名研究者至今超过八千名。紧接着10月6日，722篇数学手稿一次性公开，平均每个结果只花了约三个小时的思考算力，只有约42%做了Lean形式化。错误随后被当场抓出：3篇手稿因错撤回、722变成719，其中一处正负号写反，整条证明链跟着塌了。知乎量子位知乎
陶哲轩牵头的"人类数学协会"（AHM）为此发布联合声明抵制：数学家们并没有要求做这些工作，一次性发布700多个文件，展示的不是学术，而是权力。而另一头是无人能答的现实问题：一篇175页的证明，全世界能认真读懂的人本就屈指可数，谁来审、审多久、算谁的工作量，统统未可知——审稿，成了这个新游戏里最稀缺的岗位。量子位
游戏哪里变了，哪里没变
变的是成名方式。"调和分析已经死了，这是直接的分支爆破，数学界真的人人自危，说不定一觉起来自己的分支就不存在了。"四大猜想消息当天，一位数学领域答主这样写下职业恐慌。今年保研季就有真实一幕：一位本科数学生本来想报调和分析方向的研究生，被长辈硬生生"骂"了回来，最后去了浙大做计算机图形学。"挑一个著名猜想、押上整个博士生涯"的旧剧本，风险第一次变得这么具体。知乎知乎
没变的，恰恰是"入坑"两个字的落点。王虹对AI的态度并非排斥，她把AI形容为数学研究的"主动性助推器"——提出问题、创造概念、构建理论，仍然是数学家的核心工作；Yann LeCun的比喻更直白：船的发明降低了游泳的重要性，却让人发现了新大陆，形式证明将大幅自动化，重点转向新概念、新抽象、新定义、新猜想。职业层面也一样：数学训练的落点是拆模糊问题、在没有答案的地方待得住、判断论证成不成立，转向计算机、金融、量化的路没断，"训练质量高、退出成本低"这一点AI并未改写。量子位知乎
新手真正该盯的信号
这个局有公开的观察节点，不必靠情绪做决定。盯独立复核：这次协作项目能否把四大猜想的每一步对回Lean与人类理解；盯后续批次：撤回与修订记录是最诚实的能力报告；盯2030年——上一届菲尔兹奖得主Gowers的判断是人类大概能撑到2030年，而下一届颁奖恰好就在2030。量子位
所以，如果你的兴趣是那根1917年的"针"本身——是结构，是判断证明对不对的能力——现在入坑的成本史上最低：AI替你跑完了从三维到四维的爬升，却把提出问题、验证理解、定义新游戏这些活整段留给了人。如果你入坑是为了赢一次"解名人题"的加冕，那条赛道确实在关门：王虹抢在AI之前登顶只差了几个月，但那几个月背后是二十多年不撒手的训练。这道门槛没有被AI一夜拆掉，它只是被抬高了。
