OpenAI 批量发布 AI 生成数学证明引发部分数学家呼吁抵制

因 OpenAI 内部模型批量发布涵盖千禧年难题等 700 多个数学证明草稿，多位数学家及组织呼吁抵制 OpenAI，批评其缺乏学术规范且忽视了深入理解的学科目标。菲尔兹奖得主陶哲轩与复杂度理论家 Scott Aaronson 指出，AI 批量解题但缺乏可读性颠覆了传统学术交流，可能破坏数学研究的长期生态。数学界目前对全面抵制是否可行以及如何调整研究评价体系存在明显分歧。