📜 事件概览：跨越48年的学界集结
9月11日，一份题为 《A Severe Misalignment of AI in Mathematics》（AI在数学领域的严重错位）的宣言震动学术界。
- 签署阵容： 名单横跨近半个世纪。从1978年得主 Pierre Deligne，到Peter Scholze、Maryna Viazovska、Cédric Villani等中坚力量，再到今年新晋得主邓煜（Yu Deng）。著名数学家陶哲轩（Terence Tao）同日在其个人博客“What’s new”全文转载。
- 响应速度： 宣言官网开放ORCID或学术邮箱验证附议。截至北京时间9月12日下午，已有 2,632人 连署。
- 机构分布： 剑桥大学与苏黎世联邦理工各35人领衔，MIT（29人）、伯克利与哥伦比亚（各24人）紧随其后。
🔍 宣言核心：他们到底在反对什么？
✅ 承认AI变强，但反对“唯解题论”
宣言开篇即坦承：“过去几个月，大型语言模型的数学能力大幅提升，已能解开许多重大未解问题。”
但他们强调：解题只是工具，概念理解才是目的。
“以越来越快的速度大量生产真伪判定，可能摧毁肥沃的土壤，而不是为新想法注入生命。”
数学的价值不在于“是否成立”，而在于“为什么成立”。历史上，难题的破解之所以伟大，是因为它催生了新方法，并经过社群数年的研讨、简化，最终沉淀为教科书里的知识体系。AI跳过了这一过程，只给出了冰冷的答案。
⚠️ 仓促宣布与署名争议
宣言直指当前AI公司的乱象：解答往往被匆忙公布，缺乏完整的书面整理、方法提炼和对前人研究的引用。这在任何创作型专业中都会引发严重的署名与抄袭问题。
📌 现实对照：
就在宣言发布3天前（9月8日），纽约大学教授 Tristan Buckmaster 公开指控 OpenAI 施压，要求其不要将解题功劳归于Anthropic的合作者，并质疑OpenAI挪用了Codex上的成果。
🔗 被忽视的“人类传递链”
宣言提出了一个关键概念：人类传递链。
如果AI产出的结果没有数学家愿意接手、发展并整合进现有体系，这些结果就永远无法真正成为“数学”的一部分。AI可以生成证明，但只有人类才能赋予其学科意义。
⏱️ 风暴前夜：一周内的三件大事
这份宣言并非孤立事件，而是近期学界焦虑的集中爆发：
| 时间 | 事件 | 影响 |
|---|---|---|
| 9月8日 | OpenAI公布Navier-Stokes方程奇点结果 | 同日爆出署名争议，学界信任受损 |
| 9月10日 | OpenAI撤回对加州理工“Mathathon”赞助 | 因学者抗议该活动有将研究变为“AI广告”之嫌 |
| 9月11日 | 25位菲尔兹奖得主发表联名宣言 | 学界不满情绪达到顶点，形成正式集体表态 |
🎭 耐人寻味的分野：奖项与立场
今年的四位菲尔兹奖得主恰好站在了光谱的两端：
- 邓煜（Yu Deng）： 签署了本份宣言，站在批判AI错位的一方。
- Jacob Tsimerman： 7月领奖当天宣布加入OpenAI，8月底报到。他从多伦多大学留职停薪，工作重点为 AI安全 而非模型能力。
此外，在目前2600多人的连署名单中，挂名AI公司的仅有Google系（Google Research / Quantum AI / Google），尚无OpenAI或Anthropic员工署名。
💡 深度观察
这场风波的本质，不是“人类vs机器”的对抗，而是 “数学作为文化”与“数学作为基准测试” 的冲突。
当AI公司急于用解题数量来证明模型智能时，数学家们担忧的是：那些无法被量化、无法被自动验证、需要人类心智慢慢咀嚼的“理解”，正在被系统性地边缘化。
宣言的真正诉求：不是阻止AI进入数学，而是呼吁AI公司尊重数学的认知节奏与社群规范。解题可以是起点，但绝不能成为终点。
