10月27日，OpenAI 宣布其AI模型在数学、计算机科学和物理学领域取得三项突破，并强调这些成果体现的是模型独立发现并证明复杂科学理论的能力，而不只是回答问题或辅助研究。
数学：局部光滑猜想与挂谷猜想。 局部光滑猜想由数学家克里斯托弗·索格于1991年提出，试图解释波在聚焦时的行为：即使出现极其强烈的聚焦，也只能持续很短的时间。该猜想具有基础性意义，挂谷猜想与斯坦因限制猜想都可以由它推导出来。2019年，古思、王虹和张睿翔证明了二维情形；2025年，王虹与扎尔证明了三维挂谷猜想。OpenAI 的模型此次给出了局部光滑猜想在所有维度下的证明，从而也解决了所有维度下的挂谷猜想和斯坦因限制猜想，关键是一种新构建的辅助偏微分方程。公司称于10月18日获得AI生成的证明，次日完成 Lean 形式化证明，自然语言证明与形式化证明均已上传至公开代码仓库。
计算机科学：指数时间假设被推翻。 指数时间假设（ETH）是计算复杂性理论中存在已久的猜想，研究布尔公式可满足性问题的计算难度，与P和NP问题密切相关。长期以来学术界普遍认为ETH成立，数百篇论文以它为前提推导图论、计算生物学、数据库与计算几何等领域的计算难度结论。OpenAI 的系统给出了ETH不成立的证明，并通过 Lean 完成形式化验证。公司称于10月16日生成自然语言证明，10月17日完成形式化证明。公司邀请三位专家牵头验证、研究与解释，分别是加州大学圣迭戈分校的拉塞尔·因帕利亚佐、拉马莫汉·帕图里，以及麻省理工学院的瑞安·威廉姆斯——其中前两位正是ETH的共同提出者。合作方提出两项要求：公开全部原始数据供独立验证，以及由OpenAI出资举办学术会议讨论该成果对领域的整体影响。若结论成立，研究人员需要重新审视许多计算任务究竟还能获得多大幅度的速度提升。
物理学：量子色动力学的存在性。 该成果从严格的数学意义上，证明了四维空间中某些包含规范场和费米子的相互作用量子场论确实存在，其中包括量子色动力学（QCD），以及粒子物理学标准模型的一种统一完备化理论；同时解决了一个子问题，即证明纯杨-米尔斯理论的存在性，该问题属于克雷数学研究所设立的千禧年大奖难题的一部分。证明采用了构造性量子场论中巴拉班提出的研究方法。OpenAI 邀请2004年诺贝尔物理学奖得主大卫·格罗斯牵头研究，团队成员包括迈克尔·道格拉斯、阿瑟·贾菲、伊戈尔·克莱巴诺夫与尼基塔·涅克拉索夫。这部分成果正由专家参与审查。
需要保持的清醒： 数学与计算机科学成果虽已通过 Lean 形式化验证，形式化只保证推理步骤无误，不等同于学术界对结论与意义的普遍接受；物理学成果更处于审查阶段。OpenAI 自己也表示，相关成果仍需学术界进一步独立确认。
一句话收尾：真正值得关注的也许不是某条猜想被证明，而是「AI做出成果后如何公开、由谁审查、贡献怎么算」这套流程正在被临时搭建起来。