OpenAI 数学成果“洪流”令数学家需数年消化

OpenAI 本周集中发布近400条AI生成的数学结果，覆盖700余篇手稿和组合学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数理物理等多个领域。数学家普遍称规模“史无前例”，担心理解这些成果需要数年；仅约42%手稿完成Lean形式化，论文质量和引用归属仍受质疑，已有十余篇修订、三篇因符号错误撤稿。