OpenAI 宣布三项 AI 驱动重大突破:涵盖调和分析、复杂度理论与量子场论
Dr_Singularity · x · 2026-10-27
OpenAI 宣布由 AI 驱动、横跨数学/计算机科学/物理的三个潜在重大成果:
- 数学:证明任意维度的局部平滑猜想(local smoothing conjecture),同时解决 Kakeya 与 Stein restriction 猜想;
- 计算机科学:推翻指数时间假设相关结论(原文被截断,涉及复杂度理论);
- 物理:模型于 2026 年 9 月 9 日给出 Yang–Mills 存在性的自然语言证明,9 月 18 日又给出 QCD(量子色动力学)相关证明;因工作量大且复杂,团队推迟发布,直到 10 月 16 日完成 Yang–Mills 存在性的 Lean 形式化,并由此发展出后续协作。
若结果经同行验证成立,将是 AI for Science 迄今最重的成果之一。
所属事件: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