OpenAI投放近400项数学结果，数学家称消化可能需要数年

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