OpenAI 集中发布数百项数学成果引发数学界震动与验证困境

OpenAI 集中发布了涵盖 700 多篇手稿、近 400 项由 AI 生成的数学研究成果，引发数学界广泛关注与消化焦虑。尽管部分成果涉及黎曼猜想进展和四维挂谷猜想等重大课题，但仅约 42% 的成果通过 Lean 进行了形式化验证，且存在表述晦涩、引用不全甚至撤稿等问题。多位学者指出，未经充分验证的海量论文将同行评议与理解的重担转嫁给了学术界，对青年学者的课题规划和基金申请造成了直接冲击。