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

OpenAI发布近400项数学研究成果 数学家称消化或需数年

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

先了解这件事

AI 综述

2026年10月,OpenAI发布了近400项AI生成的数学成果,分布在719份手稿中,覆盖组合学、几何、数论、拓扑等多个数学分支。据The Verge报道,这是AI在数学研究领域的一次大规模输出。在719份手稿中,约42%(约300份)已完成Lean形式化验证。多位数学家接受采访时用"纯粹疯狂""史无前例"形容这一事件,指出消化全部内容可能需要数年时间。研究者表示,部分论文质量较此前有所改善,但大量成果缺乏形式化验证,整体质量参差不齐。这一成果引发了学界对AI生成数学研究质量的广泛讨论。

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

报道时间线

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

10月10日
  1. The Verge · AI
    "纯粹疯狂":数学家称消化 OpenAI 最新数学成果或需数年

    OpenAI 发布近 400 项 AI 生成数学成果,涵盖 719 份手稿,覆盖组合学、几何、数论、拓扑等分支,仅约 42%(300 份)已完成 Lean 形式化验证。多位数学家接受 The Verge 采访时用"纯粹疯狂""史无前例"形容,称消化全部内容可能需要数年。研究者指出,部分论文质量较此前有所改善,但大量成果缺乏形式化验证,质量参差不齐。

本事件热度走势

可比范围当前
9
可比范围峰值
1010月10日 04:00
近 24 小时变化
–

趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。