OpenAI 宣布三项 AI 生成数学成果,涉 Kakeya 猜想与 ETH 否证
RileyRalmuto · x · 2026-10-27
转发称 OpenAI 宣布了三项 AI 生成的研究结果:
- 证明了一般维度的局部光滑性(local smoothing),并称这同时解决了所有维度下的 Kakeya 猜想与 Stein 限制猜想。
- 否证指数时间假设(Exponential Time Hypothesis)——这是数百个条件性困难度结果的基石猜想;论文与 Lean 形式化证明已公开,参与者包括 Impagliazzo、Paturi 等人。
若属实将是 AI for Math 的标志性事件,但为第三方转述,细节与验证情况有待官方确认。
所属事件:OpenAI 宣布 AI 连获数学、复杂性理论与物理三项重大发现(63 条相关)→
「研究」频道最新
- AI 推翻指数时间假说?附图对比声称的次指数算法与 2ⁿ 增长曲线 — robleclerc · 2026-10-27
- OpenAI 疑似进展触及 3-SAT，指数级难题被指遭挑战 — micoolcho · 2026-10-27
- Google 发布 StreamVibe：能主动捕捉隐含意图的流式视频 agent — google · 2026-10-27
- Qwen-Image-PE：两阶段训练学会视觉设计，prompt 增强提升 7.81 分 — Qwen · 2026-10-27
- OPTIC 实现逐层嵌入千倍压缩，性能几乎无损 — Jiacheng Liu · 2026-10-27
- 蚂蚁国际与西湖大学提出 Trajectory2Gym:为工具使用智能体构造决策可溯源的训练数据 — ant-intl · 2026-10-27