千名数学家加入 AHM 抵制 AI 论文,与此同时 AI 求解数学已被预言

DominiqueCAPaul · x · 2026-10-27

超 1000 名数学家加入了「人类数学协会」(AHM),承诺不发表 AI 生成的数学论文、不与前沿实验室合作,其中 654 人更进一步承诺在研究中完全不使用 AI。与之形成对照的是另一条广泛传播的预测:数学被 AI 冲击已开始一年,约两年内几乎所有数学结果都将在 Lean 中形式化并被索引,数学将首次拥有可搜索的知识库;配合高智力 AI,大量重要开放问题可能在几小时内被 AI 解决,数学家的角色将变成理解和解释「某种智力远超我们的新智能」所发现成果的翻译者——被视为自 20 世纪基础危机和哥德尔不完备定理以来最大的数学革命。