OpenAI 发布近 400 项 AI 生成数学成果
热点事件持续更新
OpenAI 发布近 400 项 AI 生成数学成果
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
OpenAI 本周发布近 400 项 AI 生成的数学成果，覆盖 700 多篇手稿，涉及组合数学、几何、数论、代数、拓扑等多个领域；其中约 42%（300 项）已通过 Lean 形式化验证，但受访数学家称理解这些成果可能需要数年。 OpenAI 未公布使用的模型与提示词，单条结果平均消耗约三小时 ChatGPT Pro 思考计算量。部分数学家称其中包含达到菲尔兹奖水平的高质量工作，但也有人对论文质量和引用规范性表示担忧，担心此举冲击现有学术研究体系。
AI 根据报道生成 · 1 小时前更新
最新进展10月10日 03:09
OpenAI发布大量AI数学成果，数学家称理解需数年报道时间线
沿着报道，了解事件的不同侧面。
10月10日
- The Verge · AIOpenAI发布大量AI数学成果，数学家称理解需数年
OpenAI本周突然发布近400个AI生成的数学结果，覆盖700多篇手稿，涉及组合数学、几何、数论、代数、拓扑等多个领域。受访数学家表示理解这些成果可能需要数年，约42%的结果已通过Lean形式化验证。部分数学家认为其中包含达到菲尔兹奖水平的高质量工作，但也有人对论文质量和引用规范性表示担忧，担心此举会冲击学术研究体系。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。