一句话看懂：一个名为「人类数学协会」（AHM）的组织已吸引上千名数学家加入，成员承诺不发表 AI 生成的数学论文、不为前沿 AI 公司提供技术支持，其中 654 人连在研究中使用 AI 都拒绝；清华大学科学史系学者胡翌霖公开质疑这种「职业数学家垄断数学」的立场。
事件核心：发生了什么
据社交平台用户 @sleepy0x13 与 @Hesamation 的说法，数学家正在「组团抵制 AI」，组织名为 Association for Human Mathematics（AHM，人类数学协会），已有超过 1000 人加入。加入者需作出两项承诺：不发表 AI 生成的数学论文，不为商业 AI 公司提供技术或数学支持。其中立场更进一步的 654 人承诺在研究过程中完全不使用 AI。相关讨论的时间标注为 2026 年 10 月 25 日。
针对「数学家们从来没有要求你们做这些工作」这一说法，胡翌霖（@epr510）表示不记得数学何时被一群职业数学家垄断，强调数学是全人类的自由事业。他把这一局面类比围棋：AI 打破了职业棋手的骄傲，但也让普通爱好者更容易接触到顶级训练资源；他希望数学家能像职业围棋手一样体面地面对变化，并相信数学仍将是人类最顶级、最自由的智力游戏。
为什么重要
AI 已能参与定理证明辅助、猜想探索和形式化验证等数学工作，大型模型的推理能力也越来越多地在数学基准上被检验。AHM 的出现说明，一部分研究者对 AI 介入学术产出的边界产生了实质分歧：共同署名规范、AI 生成论文的可信度，以及研究者与前沿实验室的合作关系，都成为争议焦点。这不仅是社区态度问题，也可能影响数学研究的发表惯例和人才走向。
对用户/开发者/创作者的影响
对开发者而言，若数学研究与 AI 实验室的合作被部分学者抵触，开源数学数据集、形式化定理库与推理模型在学术场景的落地节奏可能放缓。对普通用户，AI 辅助学习与解题工具的需求并不会因此消失；围棋式的类比说明，工具普惠和职业规范可以并行。创作者和内容生产者则需注意：涉及数学内容时，AI 生成结果的核验责任仍在发布者身上。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
目前公开信息显示，AHM 的成员规模与承诺条款来自社交平台转述，尚无独立核实。后续可关注三点：该组织是否发布正式章程与成员名单；数学期刊和会议是否跟进制定 AI 使用披露规则；各大 AI 实验室与数学界的合作项目是否因此出现公开调整。
来源：@epr510
