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

OpenAI证明准黎曼假设及后续数学突破

1 篇报道1 个报道来源1 小时前更新

先了解这件事

AI 综述

2026年10月,OpenAI宣称其AI证明了准黎曼假设。随后,数学家Cureton与Thorner利用该成果,证明了有限阶Hecke L函数在特定区域无零点;开源社区进一步将该边界推至1/32并通过Lean工具完成验证。此外,Frei等三位数学家借助这一突破,无条件证明了悬置19年的Ellenberg–Venkatesh界。值得注意的是,尽管利用了OpenAI的早期成果,Frei团队明确声明其在最终证明过程中未使用任何AI工具。目前,围绕该AI证明引发的连锁反应仍在持续发酵,人类数学家正基于此解决更广泛的黎曼猜想相关难题。

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

报道时间线

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

10月18日
  1. 36氪 · 文章
    OpenAI证明准黎曼假设后,人类数学家借其成果解决广义黎曼猜想相关难题

    OpenAI宣称AI证明了准黎曼假设。随后Cureton与Thorner利用该突破,证明有限阶Hecke L函数在特定区域无零点,开源社区将边界推至1/32并用Lean验证。Frei等三人借此无条件证明了悬置19年的Ellenberg–Venkatesh界,并声明未使用AI工具。

本事件热度走势

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