OpenAI 一口气宣布三项 AI 生成重大研究成果,涉及多个千禧年难题
ChrisGPT · x · 2026-10-27
OpenAI 宣布三项由 AI 模型产出的研究声明,规模罕见:
- 各维度局部光滑猜想证明:OpenAI 称该证明同时解决了所有维度下的 Kakeya 猜想与 Stein 限制猜想(此前 2019 年 Guth-Wang-Zhang 仅证二维,2025 年 Wang-Zahl 证三维 Kakeya)。
- 否定指数时间假设(ETH):这是支撑数百条条件性困难度结果的猜想,论文与 Lean 形式化证明已公开,由 Impagliazzo、Paturi、Ryan Williams 领衔学术核查。
- QCD 与标准模型统一完备的存在性证明:包含纯 Yang–Mills 存在性(千禧年问题的一部分),由诺贝尔奖得主 David Gross 领衔物理合作组审核,物理材料暂未公开。
需注意:ETH 被否定并不等于解决 P vs NP;Yang–Mills 存在性也不等于解决完整的质量间隙问题。但同日公布如此体量的研究声明仍属 extraordinary。
所属事件:OpenAI 宣布 AI 连破 Kakeya、ETH、Yang-Mills 三大难题(38 条相关)→
「研究」频道最新
- 「模型育种」实验开场:组合特定神经元能让 Qwen 自认是饼干怪 — yacineMTB · 2026-10-27
- EMNLP 论文:用稀疏自编码器做基于文本的因果混杂调整 — anjalie_f · 2026-10-27
- Volta 发布 Blackwell 内核验证器,让 LLM 直接生成 PTX 绕过编译器层 — Azaliamirh · 2026-10-27
- 约翰霍普金斯 NLP 团队亮相 EMNLP 2026 布达佩斯 — mdredze · 2026-10-27
- 网友直改 Qwen 单个神经元,把模型改写成 3000 年外星人 — MarcJSchmidt · 2026-10-27
- looped transformer 中发现「非二元论」神经元等五个概念神经元 — burny_tech · 2026-10-27