AI 加速数学与软件开发引发的理解力滞后问题及影响

随着 AI 生成数学证明和代码的速度远超人类理解能力，研究者面临“理解滞后”困境，被迫加速发表以确立优先权。OpenAI 近期工作促使学者仓促发布质量较低的 Lean 证明，加剧了社区认知负担。在软件领域，大量 AI 代码使架构设计被忽视，且依赖 AI 入职缺乏人类导师传授关键经验，导致维护难度增加。