中国数学家带头宣战OpenAI，全球数学界纷纷响应，这下热闹了！

据量子位报道，数学界领军人物、菲尔兹奖得主陶哲轩牵头“人类数学协会”发布重磅联合声明，呼吁全球数学家停止与OpenAI合作，重回以人类理解为核心的模式上来。

据科学网报道，此前OpenAI一次性公开了722篇完全由AI生成的数学论文，覆盖372个未解难题，引发科研界哗然。据科技媒体Numerama报道，AHM在声明中直斥OpenAI的行为“不是学术展示，而是武力炫耀”。数学界和AI公司积攒已久的矛盾，就此彻底摊上台面。

这场冲突的种子早就埋下了。

过去一年，AI大厂在数学领域频频出手。据量子位报道，OpenAI的内部模型先解决了多个难题。但数学家们越来越不安：AI产出的证明越来越长、越来越难读，人类看不懂也消化不了。

然而OpenAI没有踩刹车。

据商业内幕报道，在遭遇近八百名数学家联名抗议后，OpenAI宣布退出加州理工学院即将举办的“数学黑客松”赞助。OpenAI研究负责人丹·罗伯茨在社交平台上表示，公司认识到AI在数学领域的飞速进展带来了“剧烈冲击”，希望与数学界展开更深入的对话。

数学界内部也在分化。据雅虎科技报道，多伦多大学数学教授Dan Litt对OpenAI的成果表示兴奋，认为这对数学是好事。英国帝国理工学院的Kevin Buzzard也支持公开论文的做法，认为如果定理已经证明，人类继续重复研究是资源浪费。但AHM的立场截然相反：据《印度快报》报道，AHM在声明中写道，“数学家没有要求你们做这项工作”。

笔者认为，这场冲突的本质，不是“人类对决AI”的站队问题，而是一个更实际的追问：AI做出来的数学，到底算不算数学？如果人类看不懂消化不良的数学还算是数学吗？