如何评价 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)
广告合作位内容与广告清晰分离
为什么受到关注？
该关键词近期出现在知乎热榜，历史最高排名第 4 位。热榜排名只能反映平台内一段时间的关注程度，不等同于事件重要程度或事实结论。
已确认的信息
- 来源平台：知乎
- 首次收录：2026-10-27 23:17:28 UTC
- 最近更新：2026-10-28 00:32:35 UTC
- 最近热度：107 万热度
榜单趋势
最近 6 次榜单快照的排名走势（排名越低越靠前），每格为一次采集记录。
10-27 23:17第4名234 万热度
10-27 23:32第11名100 万热度
10-27 23:47第11名109 万热度
10-28 00:02第16名93 万热度
10-28 00:17第16名101 万热度
10-28 00:32第16名107 万热度