OpenAI投放近400项AI数学结果引学界消化难题

2026年10月，据The Verge报道，OpenAI本周投放近400项AI生成数学结果，覆盖700余篇手稿。多位数学家对The Verge表示，仅理解这些材料就可能需要数年。OpenAI称，719篇手稿中仅300项顶线结果已用Lean形式化约42%；截至10月8日已修订十余篇并因符号错误撤回3篇，且未公布所用模型与提示词。受访数学家称其中包含黎曼猜想进展、霍奇猜想特例和四维Kakeya猜想解答等重大工作，但也有研究计划和基金申请被冲掉。

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

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