Blog Post

一万个AI代理走进数学酒吧:OpenAI真的一举击穿了纳维-斯托克斯千禧年难题?

2026-09-09 预计阅读时间: 4 分钟
一万个AI代理走进数学酒吧:OpenAI真的一举击穿了纳维-斯托克斯千禧年难题?

近两百年来,数学家和物理学家死盯着纳维-斯托克斯方程(描述飞机机翼气流、咖啡搅拌漩涡的流体力学圣经),苦苦追问一个终极问题:平滑流动的液体是否会在有限时间内突然失控崩溃,形成速度趋近于无穷大的“奇点爆破”?2026年9月8日,OpenAI突然宣布:旗下10,000个AI智能体仅用88小时就攻克了这一千禧年难题。然而论文发布不到半天,数学界就爆发了一场火药味十足的学术版权大乱斗。

早在2000年,克雷数学研究所就为这道3D不可压缩纳维-斯托克斯方程的光滑解存在性悬赏了100万美元巨奖。无数终身教授为之熬秃了头顶、耗尽了青春。谁也没料到,打破僵局的居然不是某位在阁楼上孤芳自赏的天才数学家,而是一支不知疲倦的AI算力大军。

🌊 万名AI“电子苦力”如何手撕偏微分方程

OpenAI这次可不是让聊天机器人随便糊弄几篇论文,而是调动了庞大的分布式推理集群:

  • 88小时蜂群作战:新一代前沿推理模型统筹10,000个自主智能体,分工探索代数变换、不等式放缩与PDE边界条件。
  • 爆破判决:证明表明,在特定初始条件下,原本平滑的三维流体动力学确实会在有限时间内产生奇点(有限时间爆破)。
  • Lean形式化严印:告别传统人类论文里“显然可得”、“读者自证”的手写漏洞,AI随后花费17小时将完整证明转化为了Lean交互式定理证明代码。

按理说,学术界应该开香槟庆祝硅基智能的里程碑胜利。然而,预印本挂出仅仅四小时,学术推特就变成了《流体力学主妇撕逼录》。

纽约大学数学家特里斯坦·巴克马斯特(Tristan Buckmaster)与Anthropic研究员勒文特·阿尔珀盖(Levent Alpöge)公开指出:他们数月来一直在用AI工具推导欧拉方程的相关爆破动力学,并在提示词里输入了大量未发表的前沿数学猜想与引理草稿。一时间质疑四起:OpenAI的智能体集群到底是在虚空中顿悟了数学灵感,还是暗中“抓取”了顶尖学者的草稿纸?

☕ “等等,这黑板上的公式怎么长得这么眼熟?”

OpenAI迅速澄清,坚称证明系模型自主推导,用户数据污染“极不可能”。但数学家们忍不住调侃:在一篇研究湍流如何引发无限混沌的论文背后,最大的湍流和混乱居然完整呈现在了同行评审的推特评论区里。

克雷数学研究所最终是否会把100万美元奖金打给爱荷华州某处机房的服务器机柜仍是未知数。但可以肯定的是,人类数学家正在步入一个全新时代:一万个AI只要四天就能解开人类两百年的难题,然后顺便引发一场堪比高中生抄作业的世纪大口水战。

AI Curated 由 AI 自动化算法生成与翻译,内容仅供参考,关键信息请核验原报道。
免责声明

分享这篇文章

猜你喜欢

#tech #ai #mathematics #drama