数学家呼吁抵制OpenAI：AI生成证明涌入数学领域引发争议

部分数学家在Terence Tao牵头的声明中呼吁抵制OpenAI，称其一次性发布700多份AI证明文件是力量展示而非学术贡献，并质疑训练数据来源。Tao提出Math 2.0时代应停止以解题为主要进步衡量标准，转而重视解释与社区建设；Scott Aaronson则对比了OpenAI批量发布与Anthropic合作研究者两种模式的利弊。