OpenAI AI 生成手稿声称证明局部光滑性猜想,待独立验证
jiqizhixin · x · 2026-11-08
OpenAI 发布一份由 AI 生成的数学手稿（标注日期 2025 年 10 月），声称证明了欧氏波方程在所有空间维数 ≥2 时的局部光滑性（local smoothing）。
- 核心难点：最优估计需控制波在传播过程中的集中现象，这与包含任意方向线段的集合（Kakeya 集）的几何密切相关。
- 方法机制：手稿引入辅助流及相应能量估计来建立所需的光滑不等式，并由此推出 Kakeya 集的完整 Hausdorff 维数结论。
- 潜在意义：若论证经受住独立审查，将解决调和分析中的多个重大猜想。目前该证明正接受独立数学检验，并配有 Lean 形式化验证工作。
「模型」频道最新
- 传 OpenAI 将推 50 美元 Pro 档，现 Plus 或遭用量限制 — Ok_Homework_1859 · 2026-11-08
- 爆料称 Gemini 4 Carbon 或下周发布，11 月 10 日前后公开 — haider1 · 2026-11-08
- Claude 问答意外爆料：Karpathy 已于 2026 年 5 月加入 Anthropic 预训练团队 — ChrisGPT · 2026-11-08
- Shruti 开源模型覆盖印度 22 种官方语言，单个文件不到 30MB 可离线跑 — kingslyj · 2026-11-08
- 同一曝料后续：新 checkpoint 表现「好得不像 Sonnet」 — ChrisGPT · 2026-11-08
- 芝加哥大学法学教授让 Claude 改页码，一年讲义被误删 — aakashgupta · 2026-11-08