陶哲轩牵头人类数学协会 反对 OpenAI 机器证明发布方式
数学家集体抗议 OpenAI 的机器证明发布方式：当几小时算力就能跨过学者一生的探索，数学界开始给 AI 划边界。
菲尔兹奖得主（数学界最高荣誉）陶哲轩牵头成立人类数学协会 AHM，联合一批顶尖数学家发表声明，质疑 OpenAI 宣称破解千禧难题、一次性放出 700 多篇机器生成证明的做法，警告这种发布方式可能污染数学的研究路径。
正文摘录
数学界领军人物、菲尔兹奖得主陶哲轩，牵头人类数学协会（AHM）发布重磅联合声明—— 前段时间 OpenAI 宣称解掉千禧难题，陶哲轩就联合了 25 位菲尔兹奖得主发表联合呼吁，希望商业公司放慢脚步。 OpenAI 扭头直接甩出 700 多篇机器生成的证明文件，全球不少数学家起床一看，差点两眼一黑。 用理论计算机科学家 Scott Aaronson 的话来说，这是一场数学界的末日浩劫（Mathocalypse）。 这次由陶哲轩领衔，带头向商业巨头开火的机构，叫做人类数学协会（Association for Human Mathematicians，简称 AHM）。 挺有来头的，不是普通的研究小组，这是面对生成式 AI 冲击，全球顶尖数学家自发建立的行业防线。 组织的核心宗旨，就是守护人类对数学本质的理解，防止学术规范被无节制的暴力算力彻底摧毁。 这家目前正因非法抄袭、侵犯版权和商标淡化等指控而身陷诉讼的公司 —— 发布了一批手稿，声称其中包含若干数学界知名难题的解答。 千禧难题剽窃风波闹大之后，OpenAI 为了展现合规姿态，曾拉着普林斯顿高等研究院设立了数学与人工智能咨询小组（AGMAI）。 我们拒绝 OpenAI 所谓此次发布推动了数学发展的说法，并敦促数学家与公众对这一发表模式的价值保持应有的怀疑。 公开数据显示，OpenAI 动用内部模型测试了大约 8000 个开放性数学问题，命中率在 5% 左右。 AI 进化到这个地步，站在人类纯粹智力塔尖的数学家们，也真切体会到了被算法碾压的瘫软感。 Dana 把整个学术生涯的心血都扑在理论计算机顶级难题"唯一博弈猜想"（Unique Games Conjecture）上。 整篇论文充斥着极其混乱的逻辑跳跃，堆砌了大量先验结论却完全不做适用性说明，通篇采用人类从未见过的诡异构造。