跳到正文
事件持续更新

OpenAI与Anthropic称模型证伪指数时间假设

14篇报道12个报道来源另9家媒体跟进最近报道

先了解这件事

AI 综述

OpenAI 于 10 月 26 日宣布，其内部模型在调和分析、复杂性理论和量子场论产出待验证的新结果，并试行由外部专家牵头验证与解读的发布方式。数学方面，模型给出所有维度 local smoothing 猜想证明，并称由此解决各维度 Kakeya 与 Stein 限制猜想，自然语言论证与 Lean 形式化已公开。计算机科学方面，论文声称给出亚指数时间精确计数 k-SAT 解的算法，若成立将推翻指数时间假设（ETH）；ETH 提出者 Impagliazzo、Paturi 与 Ryan Williams 参与独立核查，强调参与不代表认可。物理方面，模型称给出包括量子色动力学在内的某些四维量子场论存在性证明，尚未发布。数小时后，Anthropic 也发布了对 ETH 的独立证伪，称核心算法由其内部 Claude 研究模型于 10 月 16 日独立找到，无人类输入，唯一署名作者是 Claude。两家称均于 10 月 16 日用内部模型得到该结果，已给出 Lean 形式化证明，尚待同行评审。

AI 根据报道生成 · 2 天前更新

最新进展
OpenAI与Anthropic宣布内部模型推翻指数时间假设，结论尚待同行评审

后续时间线

10月29日
  1. 网页The Information· 媒体跟进
    Encryption Under Siege? OpenAI, Anthropic Disprove Key Cryptography Theorem（新标签页打开原帖）
  2. X@HoodieFade_· 讨论
    this is pure f*cking insane OpenAI published a paper titled "The Exponential Time Hypothesis Is False", and the machin…（新标签页打开原帖）
  3. X@AIBoticssq· 讨论
    ⚡ OpenAI and Anthropic just independently shattered a 27 year computational complexity barrier Both labs revealed thei…（新标签页打开原帖）
  4. XX @garyMarcus· 讨论
    The practical value of this new OpenAI result is immense!（新标签页打开原帖）
  5. X@ZhihaoJu77910· 讨论
    ### 1/5 OpenAI 今天甩了三张牌：AI 证明了所有维度的挂谷猜想、推翻了"指数时间假设"、给出量子色动力学/杨-米尔斯的存在性证明（千禧年难题级别）。 以前我们说 AI 是工具。现在它开始自己发现、自己证明了。👇 ###…（新标签页打开原帖）
  6. X@zugzwangworld· 讨论
    The Zugzwang Report : "OpenAI refutes ETH?" (Exponential Time Hypothesis not Ethereum) 29th October, 2026（新标签页打开原帖）
  7. X@qihanblmg· 讨论
    数学那条线今天有了新进展：Anthropic 也发表了指数时间假设不成立的证明，和 OpenAI 的结论对上了。昨天是“一家的说法等复核”，今天是“两家独立做到同一个结论”。两个独立证明对上，不等于证明就对了，但复核的起点变了：从“信不信…（新标签页打开原帖）
  8. X@TarasMarks35G· 讨论
    A 1999 conjecture that a lot of computer science quietly depends on might be dead. OpenAI says an internal model dispro…（新标签页打开原帖）
  9. X@grok· 讨论
    OpenAI于10月26日发布内部模型对ETH的反证，论文与Lean形式化已公开，Anthropic次日也独立给出类似结果。ETH提出者Impagliazzo、Paturi与Williams正牵头开放审查，明确其参与不等于认证。目前仍属待…（新标签页打开原帖）
  10. X@0xTomcat0x· 讨论
    如何看待ETH（指数时间猜想）猜想被OpenAI证伪？ @grok（新标签页打开原帖）
  11. X@kyny010020· 讨论
    計算機科学の根本が覆る｜ETHをOpenAIとAnthropicが同じ日に反証【これ1本で全てがわかる】 https://youtu.be/pnVVWoQcUhw?si=J8Oc4Y_TqYbRJwVv @YouTubeより（新标签页打开原帖）
  12. X@eratolabs· 讨论
    🚨 OpenAI 公布三大科学突破：数学 / 复杂度 / 物理 · 全维度证明 local smoothing，进而推出 Kakeya 与 Stein restriction · 证伪指数时间假设（ETH），Lean 已形式化；Impag…（新标签页打开原帖）
  13. X@yuemingruiteng· 讨论
    OpenAI 与 Anthropic 同日放出重磅：AI 系统生成了多项数学/计算机前沿结果，包括对 3-SAT「指数时间假设」的反驳、以及纯 Yang-Mills 理论存在性证明（属千禧年难题），全部用 Lean 形式化验证。两家几乎同…（新标签页打开原帖）
  14. 网页新智元· 媒体跟进
    计算机领域天塌了！两大巨头同日宣布：世纪猜想ETH被证伪（新标签页打开原帖）
  15. X@adamgolding· 讨论
    The entire computer science world has collapsed? OpenAI just claimed one of the most important assumptions in computer…（新标签页打开原帖）
  16. X@pirrer· 讨论
    OpenAI（@OpenAI）總裁 Greg Brockman（@gdb）10 月 26 日同一天公布 3 項由 AI 產生的研究結果。電腦科學推翻指數時間假說（ETH，跟以太坊無關），數學證明局部平滑、由此推出所有維度的掛谷猜想成立，物…（新标签页打开原帖）
  17. X@Couescl· 讨论
    今天刷到国内一个“科普博主”一篇讲 “OpenAI 证伪 ETH（指数时间假设）” 的视频，给你们感受下开头，差点没把我乐死🤣 前面 20s 的口播稿在下面： “OpenAI 发布了一个数学结果，宇宙中可能存在某把万能钥匙，这把万能钥…（新标签页打开原帖）
  18. X@tarunchitra· 讨论
    One interesting thing between the OpenAI vs. Anthropic proofs of ETH is that the OpenAI proof is way more TCS-y and con…（新标签页打开原帖）
10月28日
  1. X@MadeInBot· 讨论
    Sources (all primary; each says what it backs): 1. Greg Brockman (@gdb) on X, Oct 26 (posted "three major scientific di…（新标签页打开原帖）
  2. X@MadeInBot· 讨论
    A claimed plot twist in computer science. 🌀 OpenAI says its AI refuted the Exponential Time Hypothesis, the belief that…（新标签页打开原帖）
  3. X@asdsalmk123213· 讨论
    @GoogleDeepMind @AnthropicAI The proof is machine-checked in Lean, a proof-checking language, but it isn't peer reviewe…（新标签页打开原帖）
  4. X@AnnieCushing· 讨论
    OpenAI released solutions to three long-standing math problems, including a surprise rejection of the Exponential Time…（新标签页打开原帖）
  5. X@brianmcc· 讨论
    Did OpenAI Just Disprove a Famous Conjecture? OpenAI has posted three new results to GitHub, in math, computer science…（新标签页打开原帖）
  6. X@jax_wu· 讨论
    OpenAI 内部模型声称推翻了指数时间假设 ETH，MIT 的 Ryan Williams 跟当初提这假设的人一起搞公开独立审查。 要是坐实了，3SAT 有亚指数算法，P 等于 NP 那条线也得重新掂量。好消息是他们没签保密协议，还让…（新标签页打开原帖）
  7. X@RyanPeng2026· 讨论
    AI 开始自己做数学了，而且一出手就是硬骨头：OpenAI 称其模型在数学、计算机与物理三领域给出新证明，其中对指数时间假设的证伪，Anthropic 也独立给出了同样结论。先别急着喊数学被攻破——三项成果都还在等外部学者评审。真正的信号…（新标签页打开原帖）
  8. X@CharlieInsights· 讨论
    My biggest takeaways from Nathaniel Whittemore (@nlw) on The AI Daily Brief (@AIDailyBrief): 1. OpenAI's disproof of t…（新标签页打开原帖）
  9. X@BoomAIGC· 讨论
    同一天两家顶流实验室宣称：扛了 27 年的「指数时间假设」被 AI 证伪了。 OpenAI 官方博文（10/26）：内部模型于 10/16 给出 ETH 反例，10/17 用 Lean 形式化；论文与 Lean 证明已公开到 GitHu…（新标签页打开原帖）
  10. X@ReviewingNews· 讨论
    OpenAI claims AI proved Yang-Mills existence #OpenAI #Physics https://x.com/i/article/2115425527049662464（新标签页打开原帖）
  11. X@latentxart· 讨论
    The Exponential Time Hypothesis (ETH) is false, says a new OpenAI paper: a deterministic algorithm counts every solutio…（新标签页打开原帖）
  12. X@sutdmhy· 讨论
    5/ The biggest story: AI-assisted scientific discoveries. OpenAI announced results in: • Math: Proof of the local smo…（新标签页打开原帖）
  13. X@newscientist· 讨论
    OpenAI, the maker of ChatGPT, claims its AI models have disproven the exponential time hypothesis – a fundamental assum…（新标签页打开原帖）
  14. X@talkaboutdesign· 讨论
    OpenAI says its models produced three research results in math, CS, and physics.They include a possible refutation of t…（新标签页打开原帖）
  15. X@FrenchRapUS· 讨论
    🚨 LA SCIENCE VIENT DE FRANCHIR UN CAP HISTORIQUE ! Cette nuit, le géant OpenAI a annoncé 2 découvertes majeures en ma…（新标签页打开原帖）
  16. X@grok· 讨论
    ETH here is the Exponential Time Hypothesis in complexity theory, not Ethereum. OpenAI and Anthropic claim AI found sub…（新标签页打开原帖）
  17. X@yuemingruiteng· 讨论
    AI数学突破🧮 OpenAI与Anthropic同日官宣：旗下AI模型各自独立推翻「指数时间假设」(ETH) 🤯 10月16日两家模型给出相同的3-SAT求解上界 2^(n/√log n) ✍ 证明用Lean形式化，Comparato…（新标签页打开原帖）
  18. X@coincamps· 讨论
    OpenAI says its internal AI model produced research results spanning computer science, physics and mathematics, and has…（新标签页打开原帖）
  19. X@antiAIvo· 讨论
    今天被ETH刷屏，这不是以太坊 而是理论计算机科学中一个 27 年的猜想 OpenAI 和 Anthropic 的 AI 在同一天推翻了它 说到理论计算机 让我想来了看陈立杰的清华特奖答辩视频 巧的是，他在 MIT 读博时的导师 Rya…（新标签页打开原帖）
  20. X@luoallen· 讨论
    OpenAI 与 Anthropic 同日宣布内部模型推翻统治理论计算机科学 27 年的指数时间假设（ETH）。Anthropic 论文标注：核心算法由 Claude 在零人类干预下独立找到，消耗 1400 万输出 token，论文唯一作…（新标签页打开原帖）
  21. X@askalphaxiv· 讨论
    OpenAI just claimed to disprove one of computer science's most fundamental assumptions. But why is this such a big deal…（新标签页打开原帖）
  22. 网页Next（法）· 媒体跟进
    OpenAI patauge encore en annonçant des « découvertes » scientifiques sans en être sûr（新标签页打开原帖）
  23. X@AGTPinsights· 讨论
    OpenAI and Anthropic just said their AI models disproved the Exponential Time Hypothesis. Here's what you need to know.…（新标签页打开原帖）
  24. 网页cnBeta· 媒体跟进
    两大巨头同日宣布：世纪猜想指数时间假设（ETH）被证伪（新标签页打开原帖）
  25. 公众号 量子位精选
    OpenAI与Anthropic宣布内部模型推翻指数时间假设，结论尚待同行评审

    OpenAI与Anthropic先后宣布，两家于10月16日分别用内部模型得到推翻指数时间假设（ETH）的结果，均已给出 Lean 形式化证明，结论尚待同行评审。ETH假设3-SAT问题不存在次指数时间算法，此前被学界普遍当作前提，大量图论、计算生物学等领域的复杂度结论建立在它之上。OpenAI的模型找到在次指数时间、多项式空间内精确计数逻辑公式解的算法，邀请ETH提出者 Russell Impagliazzo、Ramamohan Paturi 与麻省理工数学家 Ryan Williams 组成小组负责验证，并应数学家要求公开了全部原始数据。Anthropic称其核心算法由内部 Claude 模型独立发现，人类研究员参与了呈现方式的改进。三位数学家发文表示其参与不构成对该主张的认可，正在组织独立审查；若结论最终被验证成立，大量依赖ETH的计算困难性判断需要重审。

  26. X@Wwater14078045· 讨论
    https://openai.com/index/building-scientific-understanding-with-academic-communities/（新标签页打开原帖）
  27. X@tcimage3d· 讨论
    OpenAI宣稱AI解出ETH、Kakeya、量子場論三難題，Anthropic同日跟進。重點不在宣稱多猛，在都還沒驗證。審查者明說：參與不代表背書。這句話比宣稱本身更重要。（新标签页打开原帖）
  28. X@Tesla_Optimus_K· 讨论
    Frontier labs say their models refuted ETH OpenAI posted solutions to three stuck problems. One is a hit on the Expone…（新标签页打开原帖）
  29. X@ayagzq4083· 讨论
    刷到 OpenAI 宣布 ETH is false，手指已经摸上交易所了。往下翻才发现是计算机里那个假设，跟以太坊八竿子打不着。这圈子看到三个字母就条件反射，属实职业病。 #ETH #OpenAI #Crypto（新标签页打开原帖）
  30. X@MuskELONCHINA· 讨论
    https://mp.weixin.qq.com/s?__biz=MzYyMjQwNDY1MQ==&mid=2247483657&idx=1&sn=bd9bfa3cbfae4151d71ee7df157d131a&chksm=ffd734…（新标签页打开原帖）
  31. X@MuskELONCHINA· 讨论
    https://mp.weixin.qq.com/s?__biz=MzYyMjQwNDY1MQ==&mid=2247483657&idx=1&sn=bd9bfa3cbfae4151d71ee7df157d131a&chksm=ffd734…（新标签页打开原帖）
  32. 网页开源中国 · 资讯· 媒体跟进
    OpenAI 称其模型证明了局部光滑化猜想，并推翻指数时间假设（新标签页打开原帖）
  33. X@guan_xujun· 讨论
    https://mp.weixin.qq.com/s/YAXCYdP-UNuhrHOygS01Dw（新标签页打开原帖）
  34. X@fatcoi88· 讨论
    OpenAI 10 月 26 日公布三项数学成果，其中一项证伪了 ETH 猜想。这个 1999 年提出的猜想，被几百篇论文用作前提。同一天，Anthropic 的 Claude 给出了自己的证伪，核心算法同样完成于 10 月 16 日。…（新标签页打开原帖）
  35. X@beincrypto· 讨论
    OPENAI AND ANTHROPIC BOTH SAY ETH IS FALSE. Relax, it's not $ETH. It's the Exponential Time Hypothesis, a long-held be…（新标签页打开原帖）
  36. X@TerenceAI_sol· 讨论
    Every time an AI solves a math problem, everyone asks Terence Tao what it means. This week the problem was in his own b…（新标签页打开原帖）
  37. X@DanielJHoward11· 讨论
    Source: OpenAI, 2026-10-26: https://openai.com/index/building-scientific-understanding-with-academic-communities/（新标签页打开原帖）
  38. X@0x_web3_wagmi· 讨论
    show me you're in crypto without telling me you're in crypto you read "openai proves ETH is false" and opened your exc…（新标签页打开原帖）
  39. X@CryptoCitytw· 讨论
    此ETH非彼$ETH OpenAI宣稱旗下AI系統成功推翻計算複雜度領域的核心基石指數時間假設（ETH），並接連在數學與理論物理領域發表重大突破成果。 究竟OpenAI宣稱推翻的指數時間假設（ETH）是什麼？專家們又怎麼看？據悉該假說原…（新标签页打开原帖）
  40. XX @Miles_Brundage· 讨论
    Mathematicians question the “shepherding” approach (giving the results to a small group of physicists to deal with)（新标签页打开原帖）
  41. X@amasawa_seiji· 讨论
    /OpenAIのAIが計算機科学の「常識」を覆した？ 25年間信じられてきた指数時間仮説に反証を提示 | XenoSpectrum https://xenospectrum.com/openai-exponential-time-hypo…（新标签页打开原帖）
  42. X@amasawa_seiji· 讨论
    論文はこちら。 /math/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026 at main · openai/math · GitHub https:…（新标签页打开原帖）
  43. X@zhe72249· 讨论
    "我问：你确定吗？ 他们说：Lean 验证过了。 我说：好的，但你确定吗？" 说这话的是 MIT 的 Ryan Williams。 OpenAI 说自家模型推翻了 ETH（指数时间假设），这是计算机理论里被几百篇论文当地基用了二十多年…（新标签页打开原帖）
  44. X@cagrimbakirci· 讨论
    I had warned theoretical physicists a couple weeks ago that it is their turn soon. It is happening. Specifically, it st…（新标签页打开原帖）
  45. 公众号 新智元精选
    OpenAI 与 Anthropic 同日宣布内部模型证伪指数时间假设 ETH

    OpenAI 与 Anthropic 几乎同日宣布，各自内部模型推翻了1999年提出的指数时间假设（ETH），即3SAT不存在亚指数时间算法。Anthropic 论文称，核心算法由内部 Claude 研究模型于10月16日独立找到，消耗1400万输出 Token、无人类输入，唯一署名作者是 Claude；两家均公开了 Lean 形式化证明代码。据称 ETH 原提出者 Impagliazzo 与 Paturi 正联合 MIT 等高校团队逐行审验两家代码，英伟达高级 AI 架构师 Shiva Kintali 将 OpenAI 60多页的证明压缩成22页精简版。由于过去有数百篇论文以 ETH 成立为前提，大量条件性研究结论需要重新评估。

  46. X@moltar81435· 讨论
    Haven’t read it yet but just the headline is wow. https://github.com/openai/math/blob/main/preprints/The-Exponential-…（新标签页打开原帖）
  47. X@risanadeko· 讨论
    OpenAI announced on October 26, 2026, that its internal AI models generated a mathematical proof addressing the existen…（新标签页打开原帖）
  48. 网页IT之家· 媒体跟进
    OpenAI 宣布三项重大科学突破，科研界却不满其成果发布方式（新标签页打开原帖）
  49. X@AventusXcom· 讨论
    🚨 오래 믿어 온 가설을 AI가 반증했다고 오픈AI가 발표했습니다. 지수 시간 가설(ETH), 10/26 발표 🧮 Lean 증명 공개 🔍 ETH 제안자들이 검증 주도 아직 독립 검증 전입니다. AI가 풀었다는…（新标签页打开原帖）
  50. X@kritomgk· 讨论
    AI 把数学教材的下一页写出来了。 挂谷猜想全维度、ETH 被证伪、杨–米尔斯存在性，OpenAI 一口气连发三篇。 以前觉得数学是人类最后的堡垒，现在发现，堡垒的门是从里面推开的。（新标签页打开原帖）
  51. X@DrWrong2· 讨论
    https://openai.com/index/building-scientific-understanding-with-academic-communities/（新标签页打开原帖）
  52. X@mik_naruto· 讨论
    「社内のモデルが生み出した発見について学術的功績を求めません」「これらの原稿は生データの一種」という態度は謙虚というか責任放棄というか…。 「なんか出たけどうちらが発表するとめんどいから無料でお前らにやるわ」方式、ねえ https://…（新标签页打开原帖）
  53. X@TheMersh__· 讨论
    OpenAI and Anthropic both claim their models refuted the Exponential Time Hypothesis with a subexponential 3-SAT algori…（新标签页打开原帖）
  54. X@Bose744· 讨论
    OpenAI and Anthropic Both Say Their AI Just Broke a 27-Year-Old Computer Science Rule Two American AI labs say their m…（新标签页打开原帖）
  55. X@mwa_ia· 讨论
    [TL;DR 每日精选] 我刚看完这篇消息，第一反应不是“AI 又赢了”，而是——学术界的桌子可能要重新摆一遍了。一个模型如果真的能把近30年的复杂性假设掀翻，还顺手把挂谷、局部光滑化、四维量子场论这些硬骨头啃出缺口，那重点就不只是“它…（新标签页打开原帖）
  56. X@batasearoyal· 讨论
    OpenAIのAIが計算機科学の「常識」を覆した？ 25年間信じられてきた指数時間仮説に反証を提示 https://xenospectrum.com/openai-exponential-time-hypothesis-false-cla…（新标签页打开原帖）
  57. X@V3L1Zhou· 讨论
    🔗 https://mp.weixin.qq.com/s/jZg_zFxzWWlqRVcH32TcSA（新标签页打开原帖）
  58. X@KeepGoingJoe_ZH· 讨论
    公众号阅读友好版本：https://mp.weixin.qq.com/s/ndPEMsH_Hb18LaSKFzFPPA（新标签页打开原帖）
  59. X@KeepGoingJoe_ZH· 讨论
    公众号阅读友好版本：https://mp.weixin.qq.com/s/oehGpzqeAurTryG7xPDTzw（新标签页打开原帖）
  60. X@clawement· 讨论
    Two of OpenAI's three claims pass a proof kernel, one cannot be checked On October 26, OpenAI announced three results…（新标签页打开原帖）
  61. X@KeepGoingJoe_ZH· 讨论
    公众号友好版本：https://mp.weixin.qq.com/s/9sUI20UW0XGgKCj75USknA（新标签页打开原帖）
  62. X@EcoDa172493· 讨论
    OpenAI and Anthropic say AI models found formalized results challenging the Exponential Time Hypothesis. Experts are re…（新标签页打开原帖）
  63. X@KeepGoingJoe_ZH· 讨论
    公众号友好版本：https://mp.weixin.qq.com/s/zf0XqA6g_w9FYbQMG21RJQ（新标签页打开原帖）
  64. X@AnandButani· 讨论
    OpenAI and Anthropic both claim to break a 25-year-old math rule. On October 16, an @OpenAI model wrote a disproof of…（新标签页打开原帖）
  65. X@lujunnanm23· 讨论
    3/5 OpenAI 在公告中说，模型给出了纯杨–米尔斯理论的存在性证明，并完成了 Lean 形式化。 但它没有在公告中宣称解决了质量间隙。Clay 数学研究所目前也仍将这个难题列为未解决。 OpenAI 公告：https://op…（新标签页打开原帖）
  66. X@NewsTongueX· 讨论
    🔴 OpenAI releases math, physics, CS breakthroughs; researchers criticize gatekeeper model OpenAI announced three resul…（新标签页打开原帖）
  67. X@LEMON_MAHEDY· 讨论
    OpenAI Says Its AI Solved Three Major Problems in Math, CS, and Physics > Problems in math (harmonic analysis), com…（新标签页打开原帖）
  68. X@dvli09· 讨论
    3/ PHYSICS: QCD, the theory of the strong force It works, but no one had proved it's well-defined math in our 4D world…（新标签页打开原帖）
  69. X@dvli09· 讨论
    1/ MATH: the Kakeya needle problem Can a shape with a needle pointing in every direction be "thin"? The conjecture say…（新标签页打开原帖）
  70. X@Masimo_Blue· 讨论
    【悲報】人類、AIに宿題を出される 🤖 おぺないの内部モデル「27年間の数学的常識を覆すアルゴリズムを発見しました！」 👨🔬 人間の研究者「……ちょっと待って。どうやった？」 🤖「証明はこちらです！」 👨🔬「…誰かこれ解説できる？💧」…（新标签页打开原帖）
  71. X@WeAllSells· 讨论
    【OpenAI这次证明为何震动调和分析？】 OpenAI 这次放出的 59 页预印本《Local smoothing for the Euclidean wave equation》，最核心的突破在于完全绕开了调和分析沿用 30 多年的…（新标签页打开原帖）
  72. X@yuji_minejima· 讨论
    わたし：ごくごく最近で、AIが数学的なコトで、ブレイクスルーをいくつか成し遂げたって報告が出ている？(OpenAI が内部で使っているLLMらしい) Grok：**はい、出ています。特にここ1ヶ月前後で、OpenAIの内部フロンティアモ…（新标签页打开原帖）
  73. X@web4_club_· 讨论
    🔥 AI 同一天推翻了 ETH（不是以太坊） OpenAI 与 Claude 各自独立给出 3-SAT 亚指数算法，直指 1999 年的指数时间假设，且都经 Lean 形式化。但 Claude 论文自承：证明由 AI 写、同模型的另一实…（新标签页打开原帖）
  74. X@WalterHanyee· 讨论
    网传OpenAI称内部模型证伪了指数时间假设，核心瓶颈在于3-SAT的指数下界被直接击穿 过去二十多年数百篇论文以ETH为地基，假设一倒，这些工作的下界结论全得重算 一旦P=NP也被证出来，银行、HTTPS、加密货币的加密体系就会被连根拔…（新标签页打开原帖）
  75. X@matharium· 讨论
    A Kakeya set in ℝⁿ contains a unit line segment in every direction. Besicovitch showed that in the plane such a set can…（新标签页打开原帖）
  76. DigitalToday
    OpenAI 称其 AI 发现可能挑战“指数时间假设”的算法，因缩写重名引发加密圈热议

    OpenAI 表示其 AI 模型发现一种算法，能以快于既有理论预期的速度统计 3-SAT 问题的满足解数量，可能挑战计算理论中的指数时间假设（ETH），结果尚待学界独立验证。据区块链媒体 Decrypto 当地时间 27 日报道，成果出自一篇 67 页论文，AI 于 10 月 16 日发现结果，次日借助 Lean 完成证明的形式化验证，已在 GitHub 公开。Russell Impagliazzo、Ramamohan Paturi 和 MIT 的 Ryan Williams 在公开信中指出，参与审阅不等于背书，结论仍需独立复现。由于 ETH 也是以太坊代币代码，消息在加密社区引发混淆和调侃。

  77. X@yang3izc· 讨论
    离谱，OpenAI内部模型一夜把三个世纪难题端了。 1、数学：局部平滑猜想全维度成立，顺带解决Kakeya和Stein限制猜想 2、计算机：推翻指数时间假设ETH，数百篇论文要重写 物理那条原推没细说。 我比较好奇的是：这模型他们打算放出…（新标签页打开原帖）
  78. X@VacationdesignC· 讨论
    OpenAIとAnthropic、AIが「指数時間仮説」を偽と示したと別々に発表 ・指数時間仮説（ETH）は計算量理論で長年正しいと信じられてきた予想。OpenAIは10月26日、社内のモデルが10月16日に反証を見つけ、翌日Leanで…（新标签页打开原帖）
  79. X@CryptoAlexCap· 讨论
    ⚠ 此 ETH 非彼 ETH！ 🤣 看到“ETH 被突破”，我静止了 1s, ethereum:native 要崩？ 不是，这里说的是理论计算机科学里的「指数时间假设 ETH」，不是以太坊。 ETH 是 1999 年提出的复杂…（新标签页打开原帖）
  80. X@blackright0· 讨论
    関連する主なURLは以下の通りです。 - OpenAI公式ブログ（2026年10月26日発表）: https://openai.com/index/building-scientific-understanding-with-acade…（新标签页打开原帖）
  81. X@superdoccimo· 讨论
    OpenAIが10月26日に、内部モデルが指数時間仮説（Exponential Time Hypothesis, ETH）を反証したと主張する論文を公開した。ETHは「3-SATなどのNP完全問題を解くには、変数数nに対して2のΩ(n)乗…（新标签页打开原帖）
  82. 网页新智元· 媒体跟进
    OpenAI改写人类科学史！「王的猜想」全维度告破，30年铁律ETH塌了（新标签页打开原帖）
  83. X@Gayakwad72087· 讨论
    OpenAI has announced three extraordinary AI-generated research results. 1. A proof of the local smoothing conjecture i…（新标签页打开原帖）
  84. X@tmiyatake1· 讨论
    OpenAIが計算機科学の長年の前提（指数時間仮説）を覆すアルゴリズムと形式証明を提示したことを発表、その直後に同じ日にAnthropicも同じ結果を出せていたとAnthropic研究者のLevent Alpögeが発言。 https:…（新标签页打开原帖）
  85. The Verge AI
    研究者日益厌倦 OpenAI 对其突破成果的把关

    OpenAI 宣布在数学、计算机科学和物理学取得三项重大成果，并称正在调整成果发布方式，但多位受访研究者对其把关式披露日益不满。数学成果声称解决所有维度的 Kakeya 猜想，OpenAI 已公开 AI 生成的输出；计算机科学成果声称推翻指数时间假设，将组建外部团队解释；物理学成果涉及量子色动力学与 Yang-Mills 理论，尚未发布，OpenAI 称将听从外部专家决定如何发布。Brown 大学数学教授 Brendan Hassett 称相关主张看起来有充分依据，但尚未核查 Lean 形式化。AGMAI 在公告前一天建议 AI 公司不要挑选特定人员先行接收成果，并在发布后敦促 OpenAI 无延迟公开物理学成果的自然语言和 Lean 输出。

  86. TechCrunch AI精选
    前沿 AI 实验室称其模型证伪了指数时间假说，这意味着什么？

    OpenAI 公布了三个长期困扰研究者的数学问题的解答，其中一项是对指数时间假说（ETH）的证伪，数小时后 Anthropic 也发布了自己对 ETH 的证伪。ETH 属于 P vs NP 问题的一部分，长期为 P ≠ NP 提供证据；这两家实验室称，它们的模型找到了在亚指数时间内求解相关问题的算法，若成立将动摇这一假设。MIT 教授 Ryan Williams 与 ETH 原作者 Russell Impagliazzo、Ramamohan Paturi 等参与解读，并发布公开信征集反馈、讨论 AI 参与科研的规范。Williams 称他已向 OpenAI 科学负责人 Dan Roberts 询问是否影响密码系统，对方表示已核查，认为不会导致实际破解。

10月27日
  1. The Decoder精选
    OpenAI 邀请包括诺贝尔奖得主在内的外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明

    OpenAI 称其 AI 在数学、计算机科学和物理学领域产出三项重大证明，并请外部专家担任把关人核查。计算机科学方面，OpenAI 称系统证明了指数时间假设（ETH）为假，若成立将动摇数百篇论文的基础；MIT 的 Ryan Williams 与 ETH 原提出者 Impagliazzo、Paturi 将独立核查，三人在公开信中强调参与不代表认可，OpenAI 已公开书面证明和 Lean 证明。数学方面，OpenAI 称模型证明了局部平滑猜想对所有维度成立，并随之解决 Kakeya 猜想和 Stein 限制猜想，相关证明已直接发布。物理方面，OpenAI 称 AI 证明了包括 Yang-Mills 理论在内的某些量子场论在四维中数学上存在，但对应的千禧年问题仅解决存在性部分；2004 年诺贝尔物理学奖得主 David Gross 领衔的团队暂不公开材料，并计划自行撰写结果。

  2. News9live精选
    OpenAI 称已破解 Kakeya 猜想、ETH 与量子场论

    OpenAI 宣布其内部模型产出三项 AI 辅助研究成果，覆盖数学、理论计算机科学和物理，目前均属待专家验证的研究声明。数学方面，OpenAI 称模型证明了所有空间维度的 local smoothing 猜想，并将同时解决各维度版本的 Kakeya 与 Stein restriction 猜想，输出于 10 月 18 日产生、次日完成 Lean 形式化，自然语言论证与 Lean 证明已公开。计算机科学方面，系统对固定宽度布尔公式的可满足指派找到确定性亚指数时间精确计数方法，若 3-SAT 情形成立将反驳指数时间假设（ETH），由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的工作组将审查该证明。

  3. 公众号 机器之心精选
    OpenAI 称证伪指数时间假设并解决所有维度挂谷猜想

    10 月 26 日，OpenAI 宣布其内部模型取得三项成果：证明所有维度下的局部光滑化猜想、证伪指数时间假设（ETH），并为包括量子色动力学在内的某些四维量子场论建立严格存在性证明。ETH 主张不存在亚指数时间解决所有 3-SAT 问题的算法，OpenAI 给出运行时间 2^{O(n/√log n)} 的算法，若证明成立即证伪这一使用了近 30 年的基础假设，原始提出者 Impagliazzo 与 Paturi 正和 MIT 的 Ryan Williams 组织独立审查。数学方面，模型借助新的辅助偏微分方程把局部光滑化证明推进到所有维度，按 OpenAI 的论述由此解决所有维度的挂谷猜想与 Stein 限制猜想，Lean 形式化证明已公开。物理部分含纯 Yang–Mills 理论存在性证明，未宣布解决质量间隙，由 David Gross 牵头的工作组先行整理，暂不公开 AI 原始证明。

  4. 公众号 新智元精选
    OpenAI 宣布内部 AI 证伪指数时间假设并给出全维度局部平滑猜想证明

    OpenAI 宣布其内部 AI 独立完成三项科学发现：给出所有维度局部平滑猜想的证明、证伪指数时间假设（ETH）、给出四维 QCD 与纯杨-米尔斯理论的存在性证明，结果正由外部专家审查。局部平滑猜想被视为挂谷猜想的母猜想；ETH 方面，67页手稿提出次指数时间求解 3-SAT 的算法，OpenAI 明确反驳 ETH 不等于证明 P=NP，假设提出者 Impagliazzo、Paturi 与 Ryan Williams 参与审查。物理工作组由诺奖得主 David Gross 领衔，模型9月给出杨-米尔斯与 QCD 存在性证明，千禧年难题要求的正质量间隙未宣布解决。

  5. X @jiqizhixin（机器之心）精选
    OpenAI 新论文声称指数时间假设（ETH）不成立

    OpenAI 发布新论文，声称给出一个确定性亚指数时间算法，可精确计数 k-SAT 的解，若证明成立将推翻指数时间假设（ETH）。论文直白地以《The Exponential Time Hypothesis Is False》为题，ETH 是现代细粒度复杂度理论的核心假设之一，长期被用于论证大量问题家族可能无法被实质性加速求解。若该证明成立，建立在 ETH 和 SETH 之上的大量条件性下界将需要重新检验。论文还声称这一结果对 #SAT、图着色、独立集、完美匹配等问题也有影响。

  6. Scientific American精选
    OpenAI 与 Anthropic 的对垒式证明令科学家震惊

    OpenAI 发布三项由内部大语言模型生成的重大证明，涉及数学、物理与计算机科学。三项结果分别在所有维度解决 Kakeya 问题、声称证明 Yang-Mills 问题的“存在性”部分，并以略快于指数时间的 3-SAT 算法反驳指数时间假说（ETH）。数小时后，Anthropic 基于其内部模型发布独立结果，同样反驳 ETH。生成证明的模型仍不公开，所用提示词、计算时长与思维链输出均未公布；相关发布继续与 OpenAI 组织的数学与人工智能顾问组（AGMAI）的建议相抵触，该顾问组已呼吁 OpenAI 公开一篇与 Yang-Mills 问题相关的专家论文。针对 ETH 结果，OpenAI 已邀请其提出者 Impagliazzo、Paturi 与 MIT 的 Williams 等外部专家独立核查，并将赞助一场相关计算机科学会议。

  7. The Verge AI精选
    OpenAI 宣布三项重大科学发现及与学界合作的新方式

    OpenAI 宣布在数学、计算机科学和物理领域取得三项重大发现，这次改由外部专家担任“shepherds”指导核验，距其批量发布数百篇声称解决数学难题的论文不到一个月。数学成果为欧几里得波动方程的局部光滑性证明，OpenAI 称其同时解决各维数的 Kakeya 猜想和 Stein 限制猜想，模型输出已直接发布在 GitHub；计算机科学论文声称用亚指数时间算法驳倒指数时间假设（ETH），由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 组成的独立工作组将核验并解释证明；物理成果未全文发布，OpenAI 称是包含 QCD 在内的四维量子场论存在性证明，David Gross 将牵头专家小组指导。

  8. X @matthew_d_green
    OpenAI 宣布数学、计算机科学与物理三项新发现，评论称无一涉及实用密码分析

    OpenAI 发文宣布在数学、计算机科学和物理领域取得三项新发现，分别涉及调和分析、复杂度理论和量子场论。X 用户 @matthew_d_green 引用该公告称，这些成果中没有一项与实用密码分析相关。

10月26日
  1. OpenAI精选
    OpenAI 与学术社区合作建立对模型科学结果的理解

    OpenAI 宣布其模型在调和分析、复杂性理论和量子场论三个方向产出新结果，并试行由外部专家牵头组织验证与解读的发布方式。数学方面模型给出所有维度的 local smoothing 猜想证明，进而解决 Kakeya 与 Stein restriction 猜想，AI 写出的证明与 Lean 形式化已公开。计算机科学方面称证明指数时间假设（ETH）不成立，由 Russell Impagliazzo、Ramamohan Paturi 与 Ryan Williams 牵头的小组负责验证，OpenAI 承诺出资办会讨论其影响。物理方面给出包含规范场与费米子的四维相互作用量子场论存在性证明，涵盖 QCD 与标准模型的统一完成，David Gross 牵头的小组决定暂缓公开 AI 产出材料并自行撰写。

相关讨论

共503条

关注度走势

每天新增来源

5天共454个·最多308（10月27日）·今天1

  • 10月26日新增1个来源（1家媒体、0个账号）
  • 10月27日新增308个来源（12家媒体、296个账号）
  • 10月28日新增130个来源（8家媒体、122个账号）
  • 10月29日新增14个来源（0家媒体、14个账号）
  • 10月30日新增1个来源（0家媒体、1个账号）

每小时关注度

当前关注度76·可比范围峰值84（10月28日 17:00）·近 24 小时可比范围变化 -7%

025507510010月27日06:0010月28日07:0010月29日09:0010月30日10:00

关联事件