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

OpenAI发布两篇关于挂谷猜想的数学手稿

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

先了解这件事

AI 综述

OpenAI 在 GitHub 上公开了 722 篇数学手稿,其中编号 074 的两篇共计 272 页的论文分别声称解决了三维挂谷极大函数猜想和四维挂谷集猜想。这两篇论文在王虹等人类数学家研究成果的基础上构建,目前尚未经过同行评审和 Lean 形式化验证,其批量发布引发了数学界的强烈关注与关于科研秩序的讨论。

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

报道时间线

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

10月11日
  1. 量子位精选
    OpenAI 发布百篇数学手稿,将挂谷猜想推进至四维

    OpenAI 在 GitHub 上公开了 722 篇数学手稿,其中编号 074 的两篇论文分别声称解决了三维挂谷极大函数猜想和四维挂谷集猜想。这两篇总计 272 页的论文在王虹等人类数学家研究成果的基础上构建,目前尚未经过同行评审和 Lean 形式化验证。这一批量发布引发了数学界的强烈关注与关于科研秩序的讨论。

本事件热度走势

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