数学家驳斥 Altman「解决纳维-斯托克斯」:注入外力项属数学漏洞
rkulidzan · x · 2026-09-09
Sam Altman 宣称用约 1 万个 agent 在数百万美元 GPU 集群上跑了 88 小时、以 Lean 形式化「解决」了纳维-斯托克斯方程，遭到数学界猛烈反驳。
反驳者指出：所谓「解」是在人为注入特设的光滑外力项 f(x,t) 强迫涡量爆破，制造受控奇点；而克雷研究所千禧年大奖真正问的是三维不可压缩欧拉与纳维-斯托克斯方程在自然守恒律与黏性耗散下是否全局光滑存在。用数学漏洞绕开原始问题被批评为「科学上的粗俗」。
该争议可视化传播，成为 AI agent 自动化科研宣传 vs 严肃数学标准的标志性案例。
「Fun」频道最新
- Liquid 侧链被盗 598.5 BTC，黑客索要 400 枚作「漏洞赏金」 — RSync25 · 2026-09-09
- 资深开发者用 AI 从零学点灯:一次令人谦卑的翻车体验 — chongdashu · 2026-09-09
- Astra 玩宝可梦对战自主学赢一局,单场烧掉 25 美元额度 — bucketbot91 · 2026-09-09
- 梗图：30 万个 GPT-9 造出星际飞船，居然「还不算 AGI」 — CatAstro_Piyush · 2026-09-09
- AI 圈四类人：传统派、忧虑派、末日派和只想群发冷邮件的 SaaS 兄弟 — thisdudelikesAI · 2026-09-09
- 「黑暗工厂吹灭的是你脑子里的灯」:AI 时代金句刷屏 — danshipper · 2026-09-09