OpenAI 发布近 400 项 AI 数学成果后，数学家称理解可能需要数年

OpenAI 发布近 400 项 AI 生成的数学成果，分布在 719 篇手稿中，涵盖多个数学领域；受访数学家认为，理解和评估这批成果可能需要数年。研究者称其中一些结果水平很高，但验证程度不一，只有 300 篇手稿的顶层结果已形式化，约占 42%；截至 10 月 8 日，仓库记录了十多篇手稿的修订，并因符号错误移除了 3 篇论文。