OpenAI 宣称模型反驳指数时间假设,三大数学物理结果附 Lean 证明
LinusEkenstam · x · 2026-10-27
OpenAI 宣布在数学、计算机科学与物理领域取得三项新发现,涉及调和分析、复杂性理论与量子场论:
- 复杂度理论:模型宣称反驳了指数时间假设(ETH)——数百个硬度结果赖以成立的基础假设;
- 调和分析:证明了各维度的局部平滑性(并由此推出 Kakeya 猜想);
- 物理:给出 QCD 严格存在性证明,覆盖千禧年大奖难题的存在性一半,建立在 Balaban 数十年工作之上,每项结果均附 Lean 形式化证明。
发布方式也颇为罕见:不邀功、不签 NDA,并邀请外部专家担任「shepherd」组织解读小组,包括 ETH 原提出者 Impagliazzo 与 Paturi,物理组由诺奖得主 David Gross 主持。转发者评论:如果其中任何一项站得住脚,这一周 AI 就从「辅助科学」变成了「亲自做科学」。
所属事件:OpenAI 宣布 AI 连获数学、复杂性理论与物理三项重大发现(68 条相关)→
「模型」频道最新
- 摄影师实测:ChatGPT 已不再随手去除图片水印 — moisesg88 · 2026-10-27
- 模型能画出字母 A，训练数据里可能藏着 ASCII 艺术 — giffmana · 2026-10-27
- 爆料:Gemini 4 Flash 内部代号 Hydrogen,或即将亮相 — koltregaskes · 2026-10-27
- Qwen 3.8 本地部署实测：移植老屏保到 Python OpenGL — prusswan · 2026-10-27
- 中国开源模型迭代规律:同架构后训练持续涨分,潜力远未榨干 — bendee983 · 2026-10-27
- 全双工语音对话模型 Dessa 可跑消费级 GPU,被称语音界 GPT-3 时刻 — Puzzleheaded-King584 · 2026-10-27