OpenAI 10月26日宣布证明所有维度局部光滑猜想，一举推平调和分析四大猜想，如何理解这一事件？

OpenAI 在近期发布成果，称其内部前沿模型给出了任意维局部光滑猜想的证明，并完成 Lean 4 形式化核验；按照经典的逻辑蕴含链，局部光滑猜想成立将自动推出 Bochner‑Riesz 猜想、Stein 限制性猜想、Kakeya（挂谷）猜想全部成立，也就是调和分析这著名的“四大猜想”整条猜想链一次性被拿下。 已知时间线： - 2019 年，Guth、Wang、Zhang 证明二维局部光滑猜想； ​ - 2025 年，Wang 与 Zahl 证明三维集合版Kakeya猜想； ​ - 2026.10.06：OpenAI放出调和分析方向手稿，声称证明三维Kakeya极大函数猜想、四维集合版Kakeya猜想； ​ - 2026.10.18：AI系统生成这份全维局部光滑猜想证明；10.19完成Lean形式校验；证明核心依赖一套全新辅助偏微分方程构造，材料同样开源至GitHub。 - 有几个想请教的问题： 1. 如果这份Lean形式化证明没有翻译错误，是不是意味着四大猜想确实全部得到证明？ 2. 如果该证明最终被学界认可，会对现代调和分析领域带来多大冲击？四大猜想是调和分析的主线吗？调和分析领域还有哪些重要的开放难题不受这个结果影响？ ​ 3. 按照业界的大模型训练节奏，这个内部模型商用的时间大概是落在gpt6系列生命周期间，还是gpt7？

前往原平台核验详情 ↗