美东时间10月26日，OpenAI宣布其内部模型在数学、计算机科学和物理学三个领域得出新成果：证明所有维度下的局部光滑化猜想、证伪指数时间假设（ETH），以及为包括量子色动力学在内的四维量子场论建立严格的数学存在性证明。 模型在10月18日生成自然语言证明，次日完成Lean形式化，两份证明材料已上传GitHub供全球数学家验证。 但热榜标题里“声称”两个字必须先读出来：三项结果均未经过同行评审，OpenAI为每项结果请外部专家组织核查。 热榜问“学习方向该咋调”，真正的信号不在“AI解出了一道题”，而在题目被解出之后的那条链：AI先负责产出答案，稀缺的能力正在转向挑问题、核答案、懂答案。机器之心未来图灵知乎
挂谷猜想：体积可以很小，维数不能变小
挂谷问题从“让一根针转遍所有方向”出发：把一个包含每个方向单位线段的集合拿出来问它多大，猜想断言这个集合的体积可以任意小，维数却必须占满——体积可以为零，维数却必须是3。 这次宣称的不止一个猜想：按照OpenAI的论述，这一结果进一步解决了所有维度下的挂谷猜想与Stein限制猜想。 社区把整条链概括成“调和分析四大猜想”被一举推平。小红书机器之心知乎
人类的进度条其实一直在挪。局部光滑化猜想由Sogge在1991年提出，二维情形2019年由Larry Guth、王虹和张瑞祥证明。 2025年，中国数学家王虹刚因证明三维挂谷猜想引发关注。 于是这次的时间差格外扎眼：从二维到三维，人类走了54年，但是从四维到n维，AI用了20天。机器之心未来图灵知乎
三层要分开：宣称不等于定论，定论也不等于全能
第一层，还没定。Lean证明只能保证形式化表述本身成立，这个表述是否与文献中的原猜想一致，仍需人工核对。 先例就在本月：OpenAI早前公开的722份AI数学手稿中，部分被发现存在错误，撤回3篇、修订14篇。知乎未来图灵
第二层，谁来核。数学部分的材料直接公开，OpenAI没有指定先行审查小组，而是让研究者自行组织解释和复核。 ETH这边则由近30年前提出假设的Impagliazzo、Paturi两位原作者和MIT的Ryan Williams共同组织独立审查——提出假设的人，正在亲手检查AI给出的反证。机器之心未来图灵
第三层，即使成立也有边界。ETH被证伪不意味着所有难题都变简单，OpenAI在公告中也表示，ETH结果要转化为实际算法提速，还需要大量后续研究。 物理部分同理：这次宣布的是杨—米尔斯千禧年难题的存在性，并未宣布解决质量间隙，材料还要由2004年诺贝尔物理学奖得主David Gross牵头的工作组整理后，再决定如何公开。知乎机器之心
学习方向该调的，是三个迁移
第一个迁移：少练“算出答案”，多练“提出好问题、判断结果价值”。 OpenAI对这些AI产物用了一个说法：原始研究数据。 “产生证明”与“形成科学理解”被明确分开：前者AI可以先行，后者仍要研究者复核论证、重写解释、判断定位。对普通人，这条分工同样成立——会做题之外，会提问、会判断哪项结论可信、哪个方法值得学，正在变成更值钱的能力。机器之心
第二个迁移：把“核对”练成通用技能。 这场事件里最贵的人恰恰是复核者：ETH的提出者亲自审查AI给的答案；在知乎“如何评价OpenAI公布调和分析四大猜想的证明”的问题下，“数学界真的人人自危，说不定一觉起来自己的分支就不存在了”这类担忧的回答，当天浏览量已超过8万。 拆成普通人能上手的动作，就是三问：材料是否公开、谁在验证、表述是否和问题一致。AI产出越廉价，这套本能的回报越高。知乎
第三个迁移：用AI降低“看懂”的门槛，但别放弃基本功。 挂谷猜想这一周成了科普热点。有科普作者用两分半动画讲清“体积为零、维数为3”的反直觉内核。 有人和AI Agent对话两轮，把抽象数学的挂谷猜想做成了可交互网页。 也有创作者围绕“三维挂谷猜想到底是什么、难在哪”做了整期视频。 这类玩法练的是直觉和问题意识；而真正“读懂并验收”一项结果，靠的还是数学分析、线性代数、离散数学这些基本功——从局部光滑化到挂谷再到Stein限制，猜想之间环环相扣的结构，恰是这次AI能“一推全推”的前提，也是最需要人来理解的部分。小红书矩池云哔哩哔哩
接下来该盯什么
三项结果的材料都已交到人手里：数学部分的手稿和形式化证明已经公开，随时可查；ETH在等原始提出者团队的审查结论；物理要等工作组整理出同行能读的版本。两种结局同样有信息量：核查通过，“AI产出证明、人类决定接纳”会成为科研日常，上面三个迁移会持续增值；若有人核出形式化表述与原猜想不一致、或像那三份撤回手稿一样存在符号错误，它就成了AI科研试错清单上的一条记录。所以学习方向不必等核查结果再调：别押注“AI不行”，押注“我能验证并使用AI的输出”。这个十月，整个数学界都在排队的这件事，恰好就是它最好的教材。
