产业观察
全球千名顶尖数学家联手抵制人工智能：不为AI企业工作 不让知识被抓取
📋总体概括
全球超1000名数学家公开承诺不为AI企业工作、研究中不用AI生成模型，并成立人类数学家协会（AHM）。导火索是AI公司大量发布由大模型批量产出的数学论文，OpenAI一次发布722篇数学论文将争议推向顶峰。陶哲轩等指出这类成果虽经形式化验证可能正确，但表述晦涩、推导难读、缺乏可复用的思想内涵，威胁数学学科根基。
⚡关键信息
- ▸超1000名数学家公开承诺不为AI企业工作、不使用AI生成模型做研究
- ▸人类数学家协会AHM成立，成员涵盖高校教授与在读博士生
- ▸OpenAI一次性发布722篇数学论文，把争议推到顶峰
- ▸陶哲轩批评AI成果的批量生产与抛给数学界的方式损害学科发展根基
- ▸AI成果即便经形式化验证正确，仍表述晦涩、逻辑仓促、难提炼可复用思想
🔥犀利点评
别把这场抵制简单看成既得利益者的螳臂当车。数学家们真正反对的不是AI解题，而是AI公司把『产出论文数量』当KPI的粗暴打法——700多篇论文一次倾倒，谁读得懂、谁担得起验证成本？科学研究要的不只是正确答案，更是可被理解、可被传承的思想路径。不过话说回来，承诺不用AI能守多久是个问题，形式化验证又离不开机器。这场博弈的终局大概率不是谁消灭谁，而是逼AI行业重新界定『学术贡献』的标准。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 驱动之家 阅读全文 →