10月26日，OpenAI宣布其内部模型在数学、理论计算机科学和物理三个领域取得三项成果：证明所有维度下的局部光滑猜想、证伪指数时间假设（ETH），以及为包括杨–米尔斯理论在内的四维量子场论建立严格的存在性证明。先说清一个多数讨论没讲的前提：三项成果目前均未通过同行评审，处于"待核验"状态，OpenAI自己也把这些产出称为"原始研究数据"，请专家逐项检查。对普通人来说，这件事最值得拿走的不只是结论本身，而是它示范的一套闭环：让AI产出、把产出变成可核查的形式、交给专业的人验证、最后消化成自己的理解。新浪科技知乎
局部光滑猜想的证明，为什么值得等核查结果
局部光滑猜想由美国数学家Christopher Sogge在1991年提出，研究的是波如何聚焦：某一瞬间，波可能在一处异常集中，但这种极端集中维持不了多久——把一段时间放在一起观察，规则性会恢复。猜想用精确的不等式量化这件事。它位于调和分析的上游：一旦成立，Bochner–Riesz猜想、傅里叶限制猜想、挂谷猜想等一连串经典问题会被顺路推出。2019年，Larry Guth、王虹和张瑞祥证明了二维情形；2025年，王虹和Joshua Zahl解决了三维挂谷集合猜想。这一次，OpenAI称模型找到一种新的辅助偏微分方程，把证明推进到所有空间维度。知乎
模型在10月18日得到证明，10月19日就完成了Lean形式化，自然语言手稿和形式化证明均已公开。关键词是"Lean"：一种能把自然语言证明翻译成机器可逐步检验格式的证明助手，这是它和常见的"AI解题"传闻最大的区别。但形式化不等于结论正确——形式化定理是否精确对应原猜想，仍需数学界判断。而且这项成果是三项中核查安排最"放手"的一项：OpenAI没有指定审查小组，而是让研究者直接进入公开材料，自行组织复核。知乎
另外两项：一个动摇了30年根基，一个主动留了边界
ETH这项最直接搅动学术圈。1990年代末，Russell Impagliazzo、Ramamohan Paturi和Francis Zane提出指数时间假设：不存在能在亚指数时间内解决所有3-SAT问题的算法。近30年里，它成为理论计算机科学的基础假设，数百篇论文在它之上推导图算法、数据库查询等领域的困难性下界。OpenAI称模型针对固定宽度的CNF公式构造出了亚指数时间的确定性算法，不仅能判断解是否存在，还能精确计数——10月16日生成自然语言反证，10月17日完成Lean形式化。如果成立，一道被认为无法跨越的理论边界被移走了。这项的核查也最正式：OpenAI邀请的正是ETH的原始提出者Impagliazzo、Paturi，以及MIT复杂性研究者Ryan Williams，Williams等人随后宣布组织开放、独立的审查——近30年前写下这个假设的人，正在亲手检查AI给出的反证。知乎
物理这项则最克制。模型早在9月9日就生成杨–米尔斯存在性证明，9月18日生成QCD相关证明，但千禧年难题的官方要求还包括证明"质量间隙"，OpenAI这次宣布的部分是存在性，并未宣布解决质量间隙。处理方式同样值得注意：AI生成的原始证明暂不公开，改由2004年诺贝尔物理学奖得主David Gross牵头的工作组先整理、理解并撰写同行能读的研究文本。知乎
而此前已有前车之鉴：10月6日OpenAI集中公开722篇模型生成的数学手稿，其中3份已因证明中的符号错误被撤回。知乎
普通人要借的不是答案，是这套闭环
当顶尖模型能批量产出研究初稿，答案本身越来越便宜，稀缺的是核查和消化答案的能力。这恰好是普通人现在就能练的部分，四步都能从这次事件里直接搬：
第一步，让AI输出可核查的形态。 别只问结论，要求它分步推导、给出例子和来源；像Lean把证明变成机器可检验一样，把"抽查关键步骤"变成你的默认动作——一道题、一份资料，随机挑一步自己验，AI错误率会立刻现形。
第二步，引入对抗性审查。 ETH的提出者来审查反证，本质是"让最有资格说不的人来把关"。学习时同样可以：让AI先给出解答，再让它扮演阅卷人挑错误，或者换一个AI工具独立重做一遍，两边冲突处就是你真正要学的知识点。
第三步，区分"生成"和"理解"。 Gross工作组拒绝直接搬运AI证明、坚持自己重写研究文本，是因为理解无法外包。AI生成的笔记和总结永远只是初稿：合上屏幕，用自己的话复述一遍、做一组题，才算把AI的产出变成自己的能力。
第四步，给结论标注状态。 这次发布里最诚实的部分，是把一切标为"待核验"。普通人接触AI答案也该保留同样的习惯：区分"AI说的"“能验证的”“专家确认的”，尤其是健康、法律、财务问题，验证不了的结论先放一放。
三项成果的最终分量要等接下来几个月审查者给出结论。但"普通人怎么借AI学习"这个问题，这场发布已经提前交了卷：AI负责产出，你负责核查和消化——把自己当成自己学习的"审查小组"，这套能力不会因为哪个模型又证明了什么猜想而过时。
