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

OpenAI公开700余份AI数学手稿

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

先了解这件事

AI 综述

OpenAI于10月6日公开700余份由内部模型产出的数学手稿,覆盖373组相关结果,约占其提出的约4000个问题的9%。其中包括一份声称证明Navier-Stokes方程会在有限时间内失效,以及一份与黎曼猜想相关的证明,但这些成果能否成立仍待学界审查。 理论计算机科学家Peter Fortnow称,若这些结果均成立,过去24小时理论计算机科学的进展将超过此前三十年总和;这一评价以手稿结论成立为前提。

AI 根据报道生成 · 1 小时前更新

报道时间线

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

10月31日
  1. AGI Hunt
    OpenAI 公开700多份AI数学手稿,Fortnow称一天进展抵此前三十年

    OpenAI 公开内部模型产出的700多份数学手稿,覆盖373组相关结果,约占其提出的约4000个问题的9%。其中包括一份声称证明Navier-Stokes方程会在有限时间内失效的内部结果,以及一份与黎曼猜想相关的证明。理论计算机科学家Fortnow评价,如果这些结果成立,过去24小时理论计算机科学的进展超过此前三十年总和。

本事件热度走势

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