陶哲轩、邓煜等菲尔兹奖得主“开炮”：AI正毁掉数学

近日，数学圈因AI巨头冲击千禧年大奖难题炸开锅。OpenAI先是一则重磅消息引爆学界舆论：其内部AI系统调用1万个智能体，仅耗时88小时便暴力破解了千禧年大奖难题之一的纳维-斯托克斯方程，证明了流体在特定条件下会产生奇点，同时公布了对应的Lean形式化验证结果，随后更公开宣布拒领该难题100万美元的奖金。

OpenAI88小时暴力破解千禧难题，公开拒领百万大奖

拿下纳维-斯托克斯方程仅两天，OpenAI又向《纽约时报》透露已在另一千禧年难题霍奇猜想上取得实质性进展，更有消息称其内部模型已开始尝试攻克黎曼猜想、P与NP问题。与此同时，一张全新「千禧难题基准测试」榜单在学界疯传：Meta、DeepMind、xAI等所有公开大模型得分为0，全人类顶级数学家构成的基线得分为1，Anthropic内部未发布模型得1分，OpenAI内部未发布系统得2分。此前用于测试代码能力、奥数解题能力的各类大模型榜单，在千禧难题面前已彻底失去参考价值，大模型竞争正式进入“千禧难题无人区”，核心评判标准从谁先发布模型，变为谁先攻克一道千禧难题。

陶哲轩、邓煜领衔25位菲奖得主联名开炮痛批AI毁数学

对于AI公司将千禧难题当作秀模型能力、做公关素材的做法，数学界彻底震怒。日前，包含陶哲轩、邓煜、Artur Avila、Maxim Kontsevich、Peter Scholze在内的25位菲尔兹奖得主联合发表题为《人工智能在数学领域的严重错位》的公开信，矛头直指OpenAI与Anthropic，痛批“AI正在摧毁数学本身”。
公开信明确反对科技公司将数学解题异化为“通关副本”的商业逻辑：数学的核心从来不是产出冷冰冰的答案，而是理解结构、孕育思想。一个著名难题的真正突破，需要经过漫长的学术演讲、讨论、简化、编入教材，最终才能成为全人类共享的工具，甚至在数百年后持续造福大众。若仅靠算力狂轰滥炸给出结果，人类的“思想链”会