OpenAI集中发布近400项AI数学成果，学界称需数年消化评估

OmniTools 10月10日消息，The Verge 10月9日消息，OpenAI近期向数学界集中发布了近400项AI生成的数学成果，涵盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数学物理等多个领域，分散于719份手稿中，并配套部分Lean形式化验证代码。

据公开信息，其中仅约300项（占比约42%）已完成初步形式化验证，其余成果尚处于不同验证阶段。多位数学家表示，仅浏览全部摘要列表就耗时近一小时，全面理解与评估预计需数年时间。

部分学者指出，部分手稿存在表述晦涩、逻辑衔接不清、参考文献简略等问题；也有研究者在初步检视中发现少量成果与其已有工作存在重叠迹象，但强调需进一步审慎比对。目前学界共识是：该批成果中确含高水准突破，部分或达顶级期刊发表标准，甚至具备冲击菲尔兹奖的潜力，但严谨验证与学术整合仍面临巨大挑战。