OpenAI 集中发布数百项数学成果引发数学界震动与焦虑

OpenAI 集中发布了分布在 700 多篇手稿中的近 400 项 AI 生成数学成果，引发数学界对其验证难度和科研生态冲击的广泛震动与焦虑。受访数学家指出，成果虽触及黎曼猜想和霍奇猜想等重大课题，但仅约 42% 拥有 Lean 形式化代码，论文叙述质量参差不齐且伴随撤稿与引用不全等问题。大量既定课题被模型快速覆盖，也让青年学者的经费申请和职业前景面临前所未有的不确定性。