Hacker News AI· titusblair·· 5 天前精选AI 评分88
OpenAI 称其模型推翻指数时间假说，Lean 证明与算法速度被逐条拆解
OpenAI says its AI disproved the Exponential Time Hypothesis
AI 导读
OpenAI 于 2026 年 10 月 26 日称其内部模型产出三项数学与物理结果，其中包括一个推翻指数时间假说（ETH）的确定性算法，该算法可在多项式空间内计数 k-CNF 的全部解。
推荐理由
原文把 OpenAI 声称推翻 ETH 的算法换算成具体变量规模，并拆解 Lean 定理实际证明了什么、没证明什么。
来源：Hacker News AI · theainewsreport.com