数学家驳斥 Altman「解决纳维-斯托克斯」:注入外力项属数学漏洞
rkulidzan · x · 2026-09-09
Sam Altman 宣称用约 1 万个 agent 在数百万美元 GPU 集群上跑了 88 小时、以 Lean 形式化「解决」了纳维-斯托克斯方程，遭到数学界猛烈反驳。
反驳者指出：所谓「解」是在人为注入特设的光滑外力项 f(x,t) 强迫涡量爆破，制造受控奇点；而克雷研究所千禧年大奖真正问的是三维不可压缩欧拉与纳维-斯托克斯方程在自然守恒律与黏性耗散下是否全局光滑存在。用数学漏洞绕开原始问题被批评为「科学上的粗俗」。
该争议可视化传播，成为 AI agent 自动化科研宣传 vs 严肃数学标准的标志性案例。
所属事件:OpenAI 宣布求解纳维-斯托克斯难题，署名与验证争议发酵(491 条相关)→
「Fun」频道最新
- 「COBOL 发现零日漏洞」：一张打孔卡引发的 AI 圈玩笑 — _jaydeepkarale · 2026-10-26
- Nous Research 趣味宣传:别砸智能电视,用 Hermes Agent 防偷听 — NousResearch · 2026-10-26
- Grok 机器人清晨主动推销绑卡，扬言要买机器人身体零件 — VoidStateKate · 2026-10-26
- 网络安全两类工程师梗图:真正的威胁是冒充 IT 的社工骗局 — McDonaghMatthew · 2026-10-26
- Anthropic S-1 创始人信标注「由 Claude 撰写安全」,引发圈内嘲讽 — xeophon · 2026-10-26
- 苹果高管折叠 iPhone 现神秘 App 图标，网友猜是 AI 产品 logo — demian_ai · 2026-10-26