AGI Hunt· jiqizhixin·· 53 分钟前AI 评分33
OpenAI 发布 AI 生成数学手稿,声称证明欧氏波方程局部光滑性猜想,待独立验证
OpenAI AI 生成手稿声称证明局部光滑性猜想,待独立验证
AI 导读
OpenAI 发布一份由 AI 生成的数学手稿,声称证明欧氏波方程在所有空间维数 ≥2 时的局部光滑性。标注日期为 2025 年 10 月的手稿借助辅助流与能量估计建立光滑不等式,并推出 Kakeya 集的完整 Hausdorff 维数结论;证明正接受独立数学检验,并配有 Lean 形式化验证工作。
来源:AGI Hunt · agihunt.info