2026年10月26日，OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得新成果：证明所有维度下的局部光滑化猜想、证伪指数时间假设（ETH），以及为包括量子色动力学在内的四维量子场论建立严格的数学存在性证明。但要先说清：这三项成果目前全部只是OpenAI的单方声称，没有一项经过正式的同行评审，而做出成果的模型是内部模型，普通人没有直接入口。 能真正上手的东西其实分三层：两份论文的证明与机器检验代码已经完整开源，同一代推理能力已经打包进每月约20美元的订阅，而国内的免费工具，足够你复刻这场新闻背后“让AI把一道难题想到底”的体验。36氪知乎
消息刚出时，Hacker News 榜首被直接占据，知乎热榜前三名里有两条是关于它的讨论。 但多数用户分不清的是：这三张“答卷”的复核进度完全不同——这恰恰是普通人判断“我现在能用上什么”的唯一一把尺子。知乎
三张答卷，各走到哪一步了
ETH是理论计算机科学的地基性假设，它断言3-SAT这类经典难题不可能在亚指数时间内被解决，过去近三十年，数百篇论文靠它推导图论、数据库查询等领域的计算困难性结论。36氪
这一次，OpenAI的内部模型针对固定宽度的布尔公式造出了一台确定性算法，不仅能判断解是否存在，还能精确数出解的个数，3-SAT的情形因此直接反驳了ETH。 论文和代码以Apache-2.0许可证完整开源在GitHub，次日就通过了Lean的机器检查。36氪知乎
最让人安心的是复核环节：OpenAI邀请ETH的原始提出者与MIT的复杂性理论专家一起组织外部团队来查这份反证。 但也别误读：这台算法不会让计算机瞬间变快，更不等于P对NP问题解决了，OpenAI联合创始人Brockman随后特意提醒了一句“P大概率仍然不等于NP”。36氪知乎
数学这条线，局部光滑猜想1991年由调和分析学者Sogge提出，在AI入场之前，人类最前沿的进展是2019年证明了二维情形、2025年三维集合版挂谷猜想才刚被解决。 如今OpenAI宣称模型找到了一种新的辅助偏微分方程，把证明一路推进到所有空间维度，顺带解决了挂谷猜想与Stein限制猜想。知乎36氪
与ETH不同，这次OpenAI没有指定任何审查小组，而是把材料直接扔进公开网络，等学界自己来接单。 这批“先发布、后验证”的手稿信誉如何，可以先看前例：10月6日OpenAI一口气放出七百多篇数学手稿，仅仅一天后就有3篇因符号错误被撤回、14篇需要修补。36氪知乎
第三张最封闭：论文、代码都没公开，OpenAI把AI的原始产出先交给了诺贝尔物理学奖得主David Gross牵头的五人物理学家团队，等他们消化完再发布书面解读。知乎
这个“指定少数人闭门审阅”的模式随即遭到强烈反弹：普林斯顿高等研究院托管的数学与人工智能顾问组AGMAI在10月25日专门发表声明，旗帜鲜明地反对AI公司“指定特权学者闭门审阅材料”。 还要澄清一个常被混淆的概念：OpenAI这次宣布的只是理论的“存在性”，并未触碰质量间隙，也没有宣称解决千禧年难题。知乎36氪
OpenAI自己卖到普通人手里的部分
直接体验推理能力的最短路径是ChatGPT，按10月下旬多篇选购攻略对照，日常对话、写作、分析文件的档位是Plus每月20美元，权益明确，用得少可以先停在免费版或更低价档。 这一代能力已经真实递到了普通产品手里：牛津数学家Ben Green和ChatGPT一边聊一边把困扰数论界近百年的Siegel零点难题压成了5页证明，他在论文首页写下了一句“本文不主张任何人类原创性”。知乎36氪
硬材料则是全免费的：ETH反证与局部光滑化的自然语言手稿、形式化证明都已公开，任何人都可以下载。 OpenAI还公开宣布不为这些发现寻求论文署名，并向Simons基金会捐赠了500万美元，资助学术界消化这些AI产出的成果。 唯一够不上的是OpenAI 10月29日刚上线的新福利：Pro与符合条件的Business用户每月可领最高500美元API额度，而Plus、Go、免费用户全部不在名单里，额度还会在计费周期结束时过期。36氪知乎36氪
国内的免费“平替”，三步玩法
如果只求体验这场突破背后的核心动作——让AI多花几分钟把一道难题想到底——国产免费工具就够用。DeepSeek的官方网页端与App不含任何广告和付费项目，对话入口摆着“深度思考”和“智能搜索”两个开关，形态和OpenAI那套推理模型完全一致；豆包则被官方强调基础功能永久免费，“深入研究”这类高算力功能免费版也能用日常额度。知乎
真把证明下载回家，几十页PDF和Lean代码靠聊天框啃不动，长文档工具是现成的替代：Kimi单次最多可上传50个文件、单个文件上限100MB，免费档单轮上下文约128K token，逐段让它把论文讲成人话完全可行；资料若都在微信里，元宝同样能一次解析50个文件，省掉倒腾的功夫。知乎
再往上一层，最接近“AI科研团队”形态的其实是开源环境：10月28日Dualverse宣布把多智能体自主科研平台Station全面开源，多个AI智能体在沙盒里自主提方案、跑实验、留记录，配套的rStation公共社区免费加入，参与者自备智能体和运行资源。普通人证不伪ETH，但组一队AI替自己的小课题跑一轮探索实验，门槛已经降到了装机这一步。36氪
掏钱之前，两盆冷水
首先，能推出百年猜想的模型不等于日常提问不会出错。今年剑桥与伦敦国王学院的三位学者拿OpenAI早先的纳维-斯托克斯“证明”举例，指出机器检查通过了形式化代码，并不能推导给人读的论文就是严谨自洽的。 所以拿AI读论文、推结论，记得每次都在提示词里补一句“只提取原文明确提到的内容，不确定的标注待确认”——这一句就是可靠与不可靠的分界线。知乎
其次，这三项成果的“未验证”状态可能持续很久：AI科研真正的瓶颈已经从“能不能给出答案”变成“有没有人读得懂答案”，用陶哲轩的遗憾说，这些AI证明背后没有一个能回答问题、做报告、带学生的人。 所以这份平替指南能给的边界就是：OpenAI公开的两张答卷可以下载来读，国产免费工具可以把推理能力用起来，而第三张答卷——不管什么工具，现阶段都替你核不了，只能等Gross团队开卷。36氪
