OpenAI 10 月 26 日宣布证明所有维度局部光滑猜想,一举推平调和分析四大猜想,如何理解这一事件?
采集时热榜第 26 名 · 121 万热度 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. 如果该证明最终