部分数学家呼吁抵制 OpenAI，质疑其批量发布AI生成数学证明

OmniTools 10月9日消息，由陶哲轩主持的AHM组织发表声明，呼吁学术界抵制OpenAI，理由是后者一次性公开发布700多个AI生成的数学证明文件，被指意在展示技术实力而非推动严谨学术交流。

声明指出，此类集中发布行为缺乏同行评审机制与问题背景说明，可能干扰数学研究生态。此前OpenAI曾表示，其内部模型在一个月内解决了逾100个开放数学问题，在约8000个测试问题中整体成功率约为5%，平均每个问题消耗约3小时GPT-Pro级别算力。