AI生成的数学证明正以前所未有的规模涌入学术领域，并迅速引发数学界的反弹。由AHM组织发起、在知名数学家Terence Tao（陶哲轩）主持下发布的一份声明，公开呼吁抵制OpenAI，将矛头指向后者在数学证明发布上的做法。

争议的导火索在于OpenAI一次性释出了700多个由AI生成的证明文件。AHM组织在声明中对此给出明确定性：这是展示力量的行为，而非学术行为。这一措辞直接质疑了OpenAI发布方式与学术规范之间的契合度。

在此之前，OpenAI曾对外披露其内部模型在数学问题上的表现：一个月内解决逾100个开放数学问题；在约8000个测试问题中成功率约为5%；平均每个问题的求解耗时3小时，消耗GPT-Pro级算力。这组数据构成了此次争议的重要背景。

一边是AI在开放数学问题上展现出的解题能力与算力投入，另一边是数学界对成果发布方式与学术伦理的审视。此次抵制声明将AI生成证明如何进入学术体系的问题推到了台前，也令外界关注数学界与AI公司之间围绕研究规范的分歧将如何演变。