陶哲轩呼吁数学界“踩刹车” AI解题狂飙引发学术生态危机

【科技纵览】当人形机器人在真实的半程马拉松赛道上与人类选手并肩奔跑，并且最终以超越人类世界纪录的50分26秒完赛，这已经不是科幻电影中的场景了。而在一年前的同样比赛中，我们还在嘲笑机器人跑步像“醉汉”，短短一年时间机器人进步速度之快，令人咋舌。其背后所展现的技术突破，远比比赛本身更具深远意义。尤其值得关注的是，2026北京人形机器人半程马拉松比赛，参赛队伍总数超过100支，近四成队伍搭载自主导航技术，智能化水平显著提升，这更是5G-A（5G-Advanced）网络技术在高速移动、高并发、高可靠场景下，对具身智能产业提供支撑的一次关键性验证。5G-A网络：具身智能的“云端运动神经”具身智能机器人要实现真正的自主化，其核心瓶颈往往不在于本体的机械结构，而在于数据流的实时性与可靠性。一台人形机器人在奔跑过程中，需要实时处理海量的激光雷达、视觉摄像头、IMU等传感器数据，并进行毫秒级的决策。这对于本体的算力与能耗是巨大的挑战，因此云、端协同是当下的最优选择。

北京时间11月2日，凤凰网科技引述《纽约客》最新特稿披露，人工智能正以前所未有的力度重塑基础数学版图，同时也引发了学界对于自身存在价值的深刻焦虑。随着OpenAI与Anthropic接连攻克多项世纪难题，菲尔兹奖得主陶哲轩等顶尖学者公开呼吁“踩刹车”，担忧算力狂飙将侵蚀人类数学直觉与学术生态根基。

今年9月8日，OpenAI宣布破解悬赏百万美元的纳维-斯托克斯存在性与光滑性问题。三天后，陶哲轩在加州理工学院讲台上的反常着装——牛仔裤搭配《神奈川冲浪里》T恤，折射出其内心的震荡。他坦言经历了“最诡异的一周”，并指出学科生态已陷入失控。自2026年初以来，GPT-5.2 Pro、Claude Fable 5等大模型陆续攻克埃尔德什问题与雅可比猜想；10月初，OpenAI更是一次性发布372项未解数学成果。然而，这些AI解答往往缺乏推导细节，在关键逻辑跨越处惜墨如金，导致海量论文淹没期刊，数学家们被迫投入免费劳动进行义务审稿与验证。陶哲轩警告，数学界已从“证明稀缺”转向“证明泛滥”，而推动学科前进的方法创新过程正因速度过快而被摧毁。

除了算法优势，巨头间的封闭操作与恶性竞争更令数学家不安。8月，Anthropic数学家莱文特·阿尔珀格公布阿达马矩阵新解却拒绝公开日志；9月纳维-斯托克斯问题的求解则演变为一场罗生门。纽约大学教授特里斯坦·巴克马斯特称其团队早已取得进展，怀疑OpenAI窃取数据并抢先发表，甚至遭遇对方以署名权为筹码的威胁。这一风波促使25位菲尔兹奖得主联名发声，强调过度依赖AI将导致解题与洞见脱钩，剥夺深度思考空间。

培养下一代学者的困境尤为紧迫。陶哲轩比喻道，若只给观众看肥皂剧梗概，便失去了观剧乐趣及创作能力。曾效力NFL的MIT数学家约翰·厄舍尔虽借助AI工具完成高斯消元法研究，但直言失去探索乐趣。不过，77岁的普林斯顿教授查理·费弗曼仍持乐观态度，认为快速试错能激发更多勇气与想象力，让数学家敢于尝试过去因耗时过长而放弃的想法。