OpenAI 一次性释放近400项AI生成数学结果，数学家称需要数年才能消化

OpenAI 本周一次性释放约400项AI生成的数学结果，分布在719篇手稿中，涵盖组合数学、数论、拓扑、理论计算机科学等多个分支，三十余位数学家称之为'前所未有'。仅约42%（约300项）经过 Lean 形式化验证，部分论文写作粗糙且存在错误，三篇已因符号错误被撤稿，OpenAI 未披露所用模型和提示词。多位数学家反映这会冲击学术职业路径，PhD 学生与初级研究者受影响最明显。