跳到正文
热点事件持续更新

OpenAI发布AI数学手稿声称证明局部光滑性

1 篇报道1 个报道来源41 分钟前更新

先了解这件事

AI 综述

OpenAI发布一份由AI生成的数学手稿,声称证明所有空间维数不小于2时欧氏波方程的局部光滑性猜想,并推出Kakeya集的完整Hausdorff维数结论。 手稿标注日期为2025年10月,通过辅助流和能量估计建立光滑不等式。目前证明仍待独立数学检验,另有Lean形式化验证工作;若通过审查,其影响将涉及调和分析中的多个重大猜想。

AI 根据报道生成 · 31 分钟前更新

报道时间线

沿着报道,了解事件的不同侧面。

11月8日
  1. AGI Hunt
    OpenAI 发布 AI 生成数学手稿,声称证明欧氏波方程局部光滑性猜想,待独立验证

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

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。