数学家呼吁抵制OpenAI的AI证明发布

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

AI 根据报道生成 · 46 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。