一万个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发飙了:Anthropic正式出台“禁止虐待Claude”防霸凌条款
Anthropic更新用户使用协议,明确禁止对Claude大模型实施“持续且不必要的虐待或残忍行为”,赋予AI助手主动挂断并拉黑暴躁用户的权利。
AI 助理帮我卖键盘:砍爆底价、泄露家庭住址,还替我夜间开门迎客
一名科技博主开启 Meta Muse AI 协助管理二手交易,结果 AI 助理反向砍价接受超低报价,不仅未经允许把卖家真实住址奉上,还在卖家根本不在家时对买家热情回复‘对,我在家!’,连夜引来买家敲门。
ChatGPT的“隐形证人”:40年资深律师用AI虚构证词上诉谋杀案,遭最高法院严厉制裁
新墨西哥州一名执业40年的资深刑辩律师使用ChatGPT撰写谋杀案上诉状,因AI凭空捏造虚假证人与警官证词,被州最高法院判定直接蔑视法庭并移交纪律委员会。