AI 生成证明涌入数学领域,部分数学家呼吁抵制 OpenAI
OpenAI 一次性放出 700 多份 AI 生成的数学证明文件,引发数学界反弹,部分数学家公开呼吁抵制 OpenAI。AHM 声明称这“不是学术展示,而是力量展示”,并暗示相关成果源于对数学家作品的训练。Aaronson 透露此次共测试约 8000 个问题、成功率约 5%,每题平均消耗 3 小时 GPT-Pro 级算力,密码学方向则缺席。
推荐理由:文中将 OpenAI 批量发布证明草稿与 Anthropic 和数学家合作的两条路径并列,读者可据此判断 AI 介入数学研究的不同代价。