陶哲轩呼吁数学界警惕AI证明泛滥

发生了什么

据凤凰网科技报道，菲尔兹奖得主陶哲轩及多位学者呼吁数学界放缓研究节奏，以应对AI带来的学术生态危机。2026年9月8日，OpenAI宣布攻克“千禧年大奖难题”之一，随后10月初又发布372项数学成果。学者指出，AI生成的证明存在逻辑细节缺失、论文泛滥等问题，且OpenAI与Anthropic等机构拒绝公开运行日志与推导过程，导致数学界陷入“证明泛滥”时代，人类数学家面临被迫进行大量验证工作的困境。