陶哲轩领衔人类数学协会抵制OpenAI：700份机器证明引发学术伦理危机
2026/10/09 08:35阅读量 8
菲尔兹奖得主陶哲轩牵头成立“人类数学协会”（AHM），联合全球数学家发布声明，全面抵制OpenAI近期发布的700多份由AI生成的数学证明文件。此举源于OpenAI无视专家咨询小组关于“不应擅自测试高深难题”的红线警告，直接利用内部模型暴力破解千禧年难题等核心问题。该事件暴露了AI算力对传统数学研究范式、同行评审机制及学术规范的严重冲击，引发了关于“证明消化不良”和学科主导权的激烈争论。
事件概述
2026年10月，菲尔兹奖得主陶哲轩（Terence Tao）牵头成立了人类数学协会（Association for Human Mathematicians, AHM），并发布重磅联合声明，呼吁全球数学界集体抵制OpenAI。这一行动标志着人类顶尖数学家与商业AI巨头在科研伦理和研究范式上的矛盾彻底公开化。
核心冲突：从警告到对抗
此次抵制的导火索是OpenAI近期一次性发布了700多篇声称解决著名数学难题的机器生成证明文件。在此之前，OpenAI曾与普林斯顿高等研究院合作设立数学与人工智能咨询小组（AGMAI）。该专家组明确发出红线警告：前沿AI公司不应在内部模型上擅自测试高深数学难题。然而，OpenAI并未采纳这一建议，反而动用内部模型测试了约8000个开放性数学问题，并以5%左右的命中率筛选出700份草稿公之于众。
AHM在声明中严厉批评OpenAI无视科学规范，指出这种“炫耀算力霸权”的行为并非真正的科研进步，而是对学术共同体的冒犯。声明强调：“没人求过你们解这些证明”，并敦促数学家停止与OpenAI的合作，回归以人类理解为核心的科学愿景。
技术细节与学界反应
- 算力碾压与质量质疑：数据显示，平均解决一道高难度难题仅消耗3小时的GPT-Pro级别算力。尽管效率惊人，但生成的证明质量遭到广泛质疑。理论计算机科学家Scott Aaronson将其形容为“数学界的末日浩劫”。
- 逻辑混乱：多位学者指出，这些文档充斥着逻辑跳跃、堆砌先验结论且缺乏适用性说明。例如，专注于“唯一博弈猜想”（Unique Games Conjecture）的学者Dana Moshkovitz表示，相关文档读起来像“致幻剂产物”，充满无法理解的诡异构造。
- 密码学缺失的疑云：值得注意的是，这批成果库中唯独缺失了密码学领域。有分析认为，AI公司可能已在暗中探测现代密码学协议的底层漏洞，但未公开披露。
- “证明消化不良”：陶哲轩此前警告的“证明消化不良”现象正在爆发。一旦问题被宣称解决，即使只是知道答案存在，也会污染其他潜在的研究路径，导致年轻学者因害怕被截胡而不敢公开研究方向。
行业影响与不同声音
- 研究范式的颠覆：传统数学依靠研讨会、讲座和跨界合作沉淀知识，而AI的介入使得“按下回车键的人不懂证明，看证明的人痛不欲心”。商业算力工业化收割难题，人类学者沦为验算工具人，这种攻守之势的逆转引发了学科未来的深刻焦虑。
- 对立观点：图灵奖得主杨立昆（Yann LeCun）对此持不同看法，他认为数学正迎来新时代，形式证明的自动化将释放人类精力去发展新概念和新抽象，正如船的发明降低了游泳的重要性却让我们发现新大陆。
目前，AHM已正式要求公众和学术界对OpenAI的发表模式保持怀疑，这场关于AI时代数学本质的辩论才刚刚开始。