OpenAI 宣称模型产出三项重大结果:证 Kakeya 猜想、证伪 ETH、QCD 存在性证明
caolonghua · x · 2026-10-29
OpenAI 于 10 月 26 日公布三项号称由其模型产出的研究成果,均待独立评审:
- 数学:任意维度的 local smoothing 猜想证明(此前证明只覆盖低维),若成立将一并解决 Kakeya 猜想;OpenAI 称已经形式化验证
- 计算机科学:宣称指数时间假说(ETH)为假——数百篇论文依赖 ETH 作硬度结果;证明已发 GitHub,由 Impagliazzo、Paturi、Williams 领衔的团队核查
- 物理:若干相互作用量子场论(含 QCD)的严格存在性证明;材料未完全公开,由诺奖得主 David Gross 领衔评审
数学界同时也在争论这类 AI 结果应如何验证。在独立评审完成前不应视为定论。
所属事件:OpenAI 论文宣称证伪指数时间假说(3 条相关)→
「研究」频道最新
- 科研智能体用模型调研:DeepSeek V4.1 Flash 成最热门开源模型 — AkariAsai · 2026-10-30
- 陶哲轩 11 月 5 日旧金山对谈「科学的下一步」，AIAS+ 大会日程公布 — yian_yin · 2026-10-30
- 神秘 Agent 方法登顶 RoboDojo：73.33 分首破 70 分大关，领先亚军 12 个百分点 — jiqizhixin · 2026-10-30
- 新论文证明扩散模型无需噪声条件化：几何机制被解释清楚 — prof_kamilov · 2026-10-30
- IBM/康奈尔 LPT:跨循环共享 KV 缓存,内存省 79% 困惑度反降 — burny_tech · 2026-10-30
- 南科大新人工皮肤:机械手能捏铅笔芯还能躲针刺 — CurieuxExplorer · 2026-10-30