先了解这件事
2026年10月26日,OpenAI宣布其内部模型在数学、计算机科学和物理领域产出三项研究成果,其中包括对计算复杂性理论中长期存在的指数时间假设(ETH)的反证。数学方面,模型给出任意维度局部光滑猜想的证明,并由此解决Kakeya猜想与Stein限制猜想,10月18日得到输出、次日完成Lean形式化。计算机科学结果由Russell Impagliazzo、Ramamohan Paturi与Ryan Williams领衔的小组验证,OpenAI同意公开全部原始数据并资助相关会议;物理结果给出四维含规范场与费米子相互作用量子场论的严格存在性证明,并包含纯Yang–Mills存在性证明,由David Gross牵头的小组决定暂不公开AI产出材料、自行撰写成果。10月28日,隶属于普林斯顿高等研究院、由九名数学家组成的AGMAI呼吁OpenAI立即公开Yang-Mills、量子色动力学及标准模型完备性证明的自然语言与Lean产出,反对AI公司自行挑选首批审阅者。
AI 根据公开报道生成
事件进展
2 个已确认进展
- 来源：Rohan Paul
- 来源：Unite.AI
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
10月28日
Latent Space
Anthropic 取消编程面试：Felix Reiseberg 称"Hunger beats tenure
Anthropic 招聘经理 Felix Reiseberg 宣布不再用传统编程面试考察候选人，理由是 Claude 在 React 挑战和汇编题上都已强于人，真正有影响力的构建者不靠这类测试取胜。他建议初级工程师选能带来业务影响的想法、周末做出可运行原型、只聚焦一个好点子，并发挥对用户的新鲜视角。同日 Google DeepMind 发布 Genie 4 世界模型，Artificial Analysis Intelligence Index v5 榜首为 Claude Opus 5.5（58 分）。
36氪 · AI
OpenAI与Anthropic同日宣称内部模型推翻指数时间假设ETH
OpenAI与Anthropic几乎同时宣布，各自内部模型推翻了统治理论计算机科学27年的指数时间假设（ETH）。Anthropic称其Claude研究模型在10月16日以1400万输出Token、零人类输入独立找到核心算法，论文唯一署名作者为Claude；两家均公开Lean形式化证明代码，ETH提出者Russell Impagliazzo与Ramamohan Paturi正联合MIT等团队逐行审验。原文同时提到，大量以ETH成立为前提的复杂性下界研究结论需重新评估。
The Verge AI
The Verge：研究者不满 OpenAI 对数学、计算机科学与物理突破的公开方式
OpenAI 宣布在数学、计算机科学和物理领域取得突破，三项成果采用不同公开策略：数学结果直接放出 AI 生成输出，计算机科学结果将组建外部研究组解释，物理结果尚未公开并将交由外部专家决定如何发布。多位受访研究者认可成果本身，但批评 OpenAI 挑选特定专家先看结果的做法，数学与 AI 咨询组 AGMAI 也建议 AI 公司不要采用这种先向少数人开放的做法。
TechCrunch AI精选
前沿 AI 实验室称模型推翻 ETH，计算机科学界如何回应
OpenAI 公布了对三个数学难题的解答，其中一项是对计算机科学长期假设指数时间假说（ETH）的否定，Anthropic 随后也发布了自己的 ETH 反驳。MIT 教授 Ryan Williams 与 UC San Diego 的 Russell Impagliazzo、Ramamohan Paturi 受 OpenAI 邀请协助解读，并发布公开信征集反馈、讨论 AI 贡献的规范。Williams 表示，若该结论成立，过去十年大量依赖 ETH 的论文需要重新审视，他还曾向 OpenAI 科学负责人 Dan Roberts 确认是否影响现有密码系统，对方称已检查且认为不会导致破解。
Numerama
数学家团体 AGMAI 要求 OpenAI 立即公开 Yang-Mills 理论证明
由九名数学家组成的 AGMAI 呼吁 OpenAI 立即公开其宣称的 Yang-Mills 理论、量子色动力学及标准模型完备性证明的自然语言与 Lean 版本。OpenAI 于 10 月 26 日公布三项数学、计算机与物理成果，称 Yang-Mills 证明完成于 9 月 9 日、Lean 形式化于 10 月 16 日完成，但证明仅由 OpenAI 选定的五名物理学家（由 2004 年诺贝尔物理学奖得主 David Gross 带领）看过。AGMAI 隶属于普林斯顿高等研究院，指出该问题属于千禧年难题之一，并援引其 10 月 25 日发布的说明，反对 AI 公司自行挑选首批审阅者。
Rohan Paul
数学与AI顾问小组呼吁 OpenAI 公开 Yang-Mills 证明
数学与人工智能顾问小组公开呼吁 OpenAI 发布其未公开的 Yang-Mills 证明，要求提供相关自然语言与 Lean 输出。OpenAI 称其模型于 9 月 9 日证明 Yang-Mills 存在性、9 月 18 日证明量子色动力学，Lean 于 10 月 16 日完成第一项检查。其 Kakeya 与指数时间假说结果直接发布到 GitHub，而物理相关文件仍由 David Gross 领导的审稿人保管。
10月27日
36氪 · AI精选
OpenAI 称模型证伪指数时间假设 ETH，并提出三项跨学科数学物理成果
OpenAI 于 10 月 26 日宣布，其内部模型在数学、计算机科学和物理学三个领域取得新成果：证伪理论计算机科学中沿用近 30 年的指数时间假设（ETH）、证明所有维度下的局部光滑化猜想，以及为含量子色动力学的四维量子场论建立严格存在性证明。ETH 部分，模型对固定宽度 CNF 布尔公式构造确定性算法，给出 2^{O(n/√log n)} 的亚指数运行时间界，并于 10 月 16 日生成自然语言反证、次日完成 Lean 形式化；OpenAI 已邀请 ETH 原始提出者 Impagliazzo、Paturi 与 MIT 的 Ryan Williams 组织独立审查。数学部分称模型找到新的辅助偏微分方程，把 2019 年二维局部光滑化猜想推进到所有维度，10 月 18 日得到证明、19 日完成 Lean 形式化；物理部分由诺贝尔物理学奖得主 David Gross 牵头工作组整理，暂不公开 AI 生成的原始证明。
The Decoder精选
OpenAI 请外部专家核查其 AI 在数学、计算机科学与物理领域生成的证明
OpenAI 称其内部模型在数学、计算机科学和物理三个领域产出证明，包括推翻计算复杂性理论中的指数时间假设（ETH）、证明局部光滑猜想在所有维度成立，以及证明四维量子场论的存在性。公司已把数学和计算机科学证明翻译成 Lean，并请外部专家担任 shepherd 独立核查，其中物理部分由 2004 年诺贝尔物理学奖得主 David Gross 领衔的团队负责。OpenAI 表示不主张科学发现署名，并承诺公开原始数据、向 Simons 基金会投入 500 万美元资助相关研讨会。
MIT Tech Review
Anthropic 递交 IPO 招股书，MIT Tech Review 汇总当日科技要闻
Anthropic 已递交 IPO 招股书，文件共 335 页，其中约 100 页聚焦风险，并披露了安全失误与长达一个月的训练暂停。同期要闻还包括 OpenAI 宣布数学、计算机科学和物理三项新科学发现，微软向约 6 万名员工提供买断方案并计划今年投入 1900 亿美元用于 AI。
36氪 · AI
OpenAI称证明杨-米尔斯场论数学存在，杨振宁当年的遗憾补上了一半
OpenAI 发文称其内部模型证明了杨-米尔斯场论在四维空间的数学存在性，并称还解决了挂谷猜想、斯坦因限制猜想，推翻了指数时间假说（ETH），给出了 QCD 的数学存在证明和包含标准模型全部规范场与费米子的大统一补全。文章梳理了杨-米尔斯场论的两个遗留问题，指出 OpenAI 只解决了存在性，克雷数学研究所千禧年问题要求的质量间隙并未解决，引力也未纳入，且物理部分材料未公开、结论尚未核实。
Numerama精选
OpenAI 称模型证明 Yang-Mills 理论存在性，但仅五名物理学家可见
OpenAI 于 10 月 26 日称其内部模型给出了四维 Yang-Mills 理论存在性的数学证明，覆盖千禧年难题两部分中的第一部分，但证明目前只交给 David Gross 等五名物理学家审阅。OpenAI 表示该证明已在 Lean 中完成验证，验证于 10 月 16 日结束，且仅涉及 Yang-Mills 而非 QCD，Lean 也不保证形式化翻译与物理表述一致。同一批公布还包括调和分析中的局部光滑猜想证明，以及对指数时间假说的反驳；Clay 研究所表示暂不会颁奖，需先经期刊发表和两年同行认可。
Numerama
OpenAI 称其 AI 推翻指数时间假说，结果待专家审查
OpenAI 于 2026 年 10 月 26 日宣布，其 AI 推翻了计算机科学中的重要假设指数时间假说（ETH），该假说认为 3-SAT 等最困难情形无法用亚指数时间算法解决。OpenAI 称 AI 于 10 月 16 日产出反驳，次日用 Lean 完成形式化，手稿与形式化证明已发布在 GitHub。该结果将由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 等专家审查，其中前两位是该假说的提出者；OpenAI 也承认，把这一结果转化为实际改进仍需进一步研究。
科学网精选
OpenAI 公布数学、计算机与物理学三项 AI 生成成果
OpenAI 宣布其模型在调和分析、复杂性理论和量子场论三个方向取得新发现，分别涉及局部光滑猜想与挂谷猜想、指数时间假设（ETH）以及杨–米尔斯理论存在性。数学证明于 10 月 18 日获得 AI 输出、次日完成 Lean 形式化，将按专家建议在 GitHub 公开；ETH 反证已于 10 月 16 日生成并在 Lean 中验证。三项成果均有待学界独立验证，参与核查的 Russell Impagliazzo 等人表示其参与不应被视为对该主张的认证，OpenAI 已决定暂不发布量子场论项目的 AI 生成产物。
Latent Space精选
Anthropic 提交 S-1 申请上市：上半年营收 163 亿美元，Q2 运营利润 9.74 亿美元
Anthropic 于周一公开提交 S-1，计划在纳斯达克以代码 ANT 上市，营收从 2023 年的 4100 万美元增至 2026 年上半年 163 亿美元，Q2 单季 116 亿美元、同比增长 1368%。Q2 运营利润为 9.74 亿美元，上半年运营现金流为正 39 亿美元，而 807 亿美元净亏损主要来自 811 亿美元非现金金融工具费用。上半年约 48% 的收入（约 78 亿美元）经由 Bedrock、Vertex 和 Azure Marketplace 流转，S-1 还披露近期推迟了一款前沿模型的预训练，并列出最高 1205 亿美元的 NVIDIA 算力承诺。
凤凰科技精选
OpenAI 称模型证伪 ETH 并证明所有维度局部光滑化猜想
OpenAI 宣布其内部模型在数学、计算机科学和物理学三个领域取得成果，包括证伪理论计算机科学中沿用近 30 年的指数时间假设（ETH）、证明所有维度下的局部光滑化猜想，以及为含量子色动力学的四维量子场论建立严格存在性证明。ETH 部分给出形如 2^{O(n/√log n)} 的亚指数时间算法，并于 10 月 16 日生成自然语言反证、次日完成 Lean 形式化。OpenAI 邀请 ETH 原始提出者 Impagliazzo、Paturi 与 MIT 的 Ryan Williams 组织独立审查，物理学部分则由 David Gross 牵头工作组先行整理材料。
cnBeta精选
OpenAI 公布三项数学与物理成果，请外部专家牵头解读
OpenAI 公布三项科学成果，分别涉及调和分析中的局部光滑猜想、指数时间假设（ETH）被证伪，以及四维含规范场与费米子的量子场论存在性证明，其中数学与物理结果已在 Lean 中完成形式化。发布策略上，计算机科学与物理成果由外部专家牵头组织团队解读，数学结果则直接公开 AI 输出让研究者自行解释，OpenAI 称目前还不知道哪种方式最有用。物理工作组由戴维·格罗斯领衔，计算机科学工作组由 Russell Impagliazzo、Ramamohan Paturi 与 Ryan Williams 负责检验，OpenAI 同时提出透明、不索取学术荣誉、承认贡献与独立四条原则。
IT之家·人工智能精选
OpenAI 宣布 AI 模型取得三项科学突破，涉及局部光滑猜想、ETH 与量子场论存在性
OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项突破，数学与计算机科学成果已通过 Lean 形式化验证并公开证明材料，物理学成果正由诺贝尔物理学奖得主等专家审查。数学方面，模型给出了局部光滑猜想在所有维度下的证明，并由此解决所有维度下的挂谷猜想和斯坦因限制猜想；计算机科学方面，模型给出指数时间假设（ETH）不成立的证明。OpenAI 已邀请外部专家牵头验证与解释成果，并将自然语言证明和 Lean 证明上传至公开 GitHub 仓库。
澎湃新闻精选
OpenAI 公布数学、计算机与物理学三项新发现，含挂谷猜想与杨–米尔斯理论
OpenAI 宣布在调和分析、复杂性理论和量子场论三个方向取得新发现，称其模型证明了局部光滑猜想并由此解决所有维度下的挂谷猜想和 Stein 限制猜想，还给出指数时间假设（ETH）为假的反证，并严格证明包含规范场与费米子的四维相互作用量子场论。三项成果均有待学界独立验证，其中数学与计算机科学成果已按专家建议在 GitHub 公开，物理学成果因外部专家团队意见暂不发布 AI 生成产物。
凤凰科技精选
OpenAI 称 AI 一次性破解卡凯亚猜想、推翻 ETH 并证明杨-米尔斯存在性
OpenAI 宣布其模型一次性取得三项数学与理论物理突破：证明所有维度的局部平滑化猜想，由此推出卡凯亚猜想和 Stein 限制性猜想在所有维度成立；证明指数时间假设 ETH 为假；为量子色动力学和杨-米尔斯理论构造存在性证明。相关证明已用 Lean 完成形式化并上传公开 GitHub 仓库，OpenAI 同时邀请 ETH 原始提出者 Russell Impagliazzo、Paturi 及诺奖得主 David Gross 等外部团队参与审查，且不寻求学术署名。
电子技术应用精选
OpenAI 宣布模型在数学、计算机科学与物理学取得三项突破
OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项突破，称模型能独立发现并证明复杂科学理论。数学与计算机科学成果已通过 Lean 形式化验证，证明材料和自然语言证明已上传至公开 GitHub 仓库；物理学成果正由诺贝尔物理学奖得主等专家参与审查。数学方面，模型给出了局部光滑猜想在所有维度下的证明，并由此解决所有维度下的挂谷猜想和斯坦因限制猜想；计算机科学方面，模型给出指数时间假设（ETH）不成立的证明。OpenAI 表示相关成果仍需学术界进一步独立确认。
The Verge AI精选
OpenAI 公布数学、计算机科学与物理三项发现，并引入外部专家把关
OpenAI 公布数学、计算机科学和物理三项“重大”发现，其中计算机科学方面称证明了长期被广泛相信为真的 ETH（指数时间假设）实际为假，相关 AI 输出与 Lean 证明已在 GitHub 发布。物理结果尚未完整公开，OpenAI 称其为四维含规范场与费米子的相互作用量子场论的严格存在性证明，涵盖 QCD 和标准模型的一个统一完备化，并将由 David Gross 等人牵头把关。数学方面，其模型给出了任意维度局部光滑猜想的证明，并由此解决所有维度的 Kakeya 猜想和 Stein 限制猜想；OpenAI 同时发布公开信征集对如何检验这些结论的意见。
Rohan Paul精选
OpenAI 宣称 AI 给出多项数学与复杂度难题证明
Rohan Paul 转述 OpenAI 的说法称，其 AI 证明了指数时间假设（ETH）为假，而该假设已支撑相关研究约 25 年。它还宣称破解了 35 年历史的局部光滑猜想并由此解决 Kakeya 猜想，并在物理领域以完整数学严格性证明量子色动力学基础稳固，覆盖 100 万美元 Yang-Mills 存在性与质量间隙千禧年难题的一半。
Unite.AI精选
OpenAI 称其模型产出数学、计算机科学与物理三项研究成果
OpenAI 于 2026 年 10 月 26 日宣布，其内部模型在数学、计算机科学和物理领域产出三项研究成果，其中包括对计算复杂性理论中长期存在的指数时间假设（ETH）的反证。数学方面，模型给出了任意维度局部光滑猜想（local smoothing conjecture）的证明，并由此解决 Kakeya 猜想与 Stein 限制猜想，10 月 18 日得到输出、次日完成 Lean 形式化。计算机科学结果由 Russell Impagliazzo、Ramamohan Paturi 与 Ryan Williams 领衔的小组验证，OpenAI 同意公开全部原始数据并资助相关会议；物理结果给出四维含规范场与费米子相互作用量子场论的严格存在性证明，并包含纯 Yang–Mills 存在性证明，由 David Gross 牵头的小组决定暂不公开 AI 产出材料、自行撰写成果。
本事件热度走势
- 当前
- 83
- 区间峰值
- 105 10月27日 21:00
- 近 24 小时变化
- +6%
移动指针或点击图表可查看每小时热度；键盘可用左右方向键切换。