陶哲轩领衔人类数学协会联合抵制 OpenAI，700 份机器生成证明引发学界抗议

人类数学协会（Association for Human Mathematicians）发布联合声明，由菲尔兹奖得主陶哲轩牵头，宣布全球数学界集体行动，全面抵制 OpenAI。该组织旨在防止生成式 AI 冲击下学术规范被无节制的暴力算力摧毁。

声明严厉指出，OpenAI 曾宣称解决千禧难题并设立咨询小组寻求合作，但其后续发布大量机器生成的数学证明文件的行为被视为无视科学共识。目前，该公司正面临包括非法抄袭、侵犯版权在内的多项诉讼指控。

数据显示，OpenAI 内部模型测试了约 8000 个开放性数学问题，命中率约为 5%，平均解决一道高难度难题仅消耗 3 小时 GPT-Pro 级别算力。这种模式导致大量缺乏同行评审、逻辑混乱的草稿涌入学术界。

理论计算机科学家 Scott Aaronson 指出，AI 发布的文件缺乏人类可读的逻辑链条，其中甚至包含声称已证明的‘唯一博弈猜想’等难题，被学者形容为如同致幻剂下的产物。更令人担忧的是，这批成果中唯独缺失了密码学领域的相关验证。

陶哲轩警告称，一旦问题被宣称解决，原有研究路径将受到不可逆的污染，年轻学者因害怕被模型截胡而不敢公开探索方向，导致数学学科面临工业化作收割难题却无人真正理解的危机。

图灵奖得主杨立昆对此持不同观点，他认为形式证明自动化将推动数学进入新时代，发展重点将从具体证明转向新概念、新抽象及新猜想的构建，类比船的发明降低了游泳的重要性却开启了新大陆。