数学家呼吁抵制 OpenAI，AI 生成证明涌入数学领域

数学界组织 AHM 发表声明，呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件，声明称这是展示力量而非学术贡献。陶哲轩在博客转发该声明并提出 Math 2.0 时代，认为解题不应再是数学的主要目标，而应重视解释、社区建设和新研究方向的开拓。