据媒体报道，OpenAI宣布其内部模型已推翻一项建立在数百篇计算机科学论文基础上的猜想——指数时间假设（ETH）。同日，该公司还公布了在数学和物理学领域的两项重大成果。
OpenAI在博客文章中指出，ETH一直“被广泛认为成立”，该猜想涉及布尔可满足性问题的求解难度，与P是否等于NP问题密切相关，常被用于证明图论、计算生物学等领域诸多问题难以快速求解。据介绍，其模型于10月16日发现了该猜想的反例，并于次日使用机器验证证明语言Lean完成检查。目前，详细解释及Lean形式的证明代码已在GitHub开源。
核心团队独立审查，OpenAI承诺公开数据
由加州大学圣地亚哥分校的Russell Impagliazzo、Ramamohan Paturi以及麻省理工学院Ryan Williams领导的团队将对结果进行审查。这三位科学家曾共同提出ETH猜想。他们在公开信中强调，参与不代表认可，重要结果需经独立审查。
Williams透露，审查小组未签署保密协议且无报酬，但要求OpenAI公布所有原始数据并资助一场学术会议。OpenAI已同意这两项要求。
数理领域双重突破
在数学领域，OpenAI模型证明了Christopher Sogge于1991年提出的局部平滑猜想在所有维度均成立，从而同时解决了所有维度下的Kakeya猜想和Stein限制猜想。此前，学界仅于2019年和2025年分别证明了二维局部平滑及三维Kakeya猜想。相关证明格式与此前发布的722篇数学论文一致。
在物理学领域，模型生成了严谨证明，证实包括量子色动力学在内的某些量子场论在四维空间中确实存在，其中包括克雷数学研究所千禧年大奖难题之一的纯杨-米尔斯理论存在性。OpenAI此前曾声明，不会因纳维-斯托克斯方程证明申请该奖项。
诺贝尔奖得主David Gross将领导物理学审查小组，成员包括Michael Douglas等知名学者。该小组决定暂不发布AI生成材料，将自行撰写工作说明。
不寻求署名，捐赠500万美元促研讨
OpenAI明确表示不寻求对这些发现的学术署名权，认为负责解释性文章的研究人员应获得认可。此外，公司已向西蒙斯基金会捐赠500万美元，用于举办关于AI生成成果的研讨会和会议。
针对荣誉归属问题，上述三位计算机科学家警告，若AI率先发现结果，荣誉可能流向拥有最强工具或最先发表者，而承担审查解释工作的人获认可较少。这一担忧与今年6月数学家们提出的《莱顿宣言》观点一致。他们写道：“如果该主张正确，将改变理论计算机科学的一个重要部分。”