跳到正文
热点事件观察中

OpenAI发布近400项AI数学成果引发学界震动

1 篇报道1 个报道来源2 天前更新

先了解这件事

AI 综述

OpenAI本周突然发布近400条AI生成的数学成果,分布在700多篇手稿中,涵盖组合学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数学物理等领域,其中约42%(719篇中的300条)已在Lean中形式化。 The Verge采访三十余位数学家,评价这批成果为"纯粹疯狂"。

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

报道时间线

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

10月10日
  1. The Verge · AI精选
    OpenAI 一次性抛出近 400 条 AI 数学结果,数学界称「纯粹疯狂」

    The Verge 采访三十余位数学家,评价 OpenAI 本周突然发布的近 400 条 AI 生成数学结果。这批成果分布在 700 多篇手稿中,涵盖组合学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数学物理等领域,其中约 42%(719 篇中的 300 条)已在 Lean 中形式化。

本事件热度走势

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