如何评价 OpenAI 公布调和分析四大猜想的证明？这套证明的突破在哪里？

10 月 26 日，OpenAI 发布了新一批研究成果，其中包括论文《Local smoothing for the Euclidean wave equation》（欧几里得波动方程的局部平滑）。论文给出了所有空间维数 (n\geq 2) 下的局部平滑证明，并进一步推出了多个经典猜想的结果。相关论文和 Lean 形式化证明已经公开。 这次涉及的“四大猜想”是：Sogge 局部平滑猜想Bochner–Riesz 猜想Stein 傅里叶限制猜想Kakeya（挂谷）猜想 相关来源：OpenAI 官方公告：Working with academic communities to build scientific understanding——发布背景与结果介绍。(openai.com) 论文全文：Local smoothing for the Euclidean wave equation——四类问题及其他推论集中在这篇论文中。(github.com)Lean 形式化范围说明及证明入口——列出了局部平滑、Bochner–Riesz、球面限制、挂谷等结果对应的形式化陈述。(github.com)

前往原平台核验详情 ↗