数学界对AI批量生成证明提出质疑

发生了什么

针对OpenAI于10月6日发布722篇AI生成数学手稿，陶哲轩、邓煜等多位菲尔兹奖得主在9月11日联名发表《人工智能在数学中的严重错位》公开信，批评AI公司将解决数学问题作为基准测试的做法。数学家们指出，AI批量产出未经人类深度理解的证明，不仅导致“证明消化不良”，还存在逻辑断层与符号错误，部分手稿随后被撤回。陶哲轩呼吁数学界调整评价标准，重视解释与理解，并主张科研应保留“慢科研”的深度，而非单纯追求解题速度。