OpenAI 宣称用 1 万个 agent「解决」纳维-斯托克斯遭数学圈怒怼
alex_verem · x · 2026-09-10
网友 @BetterCallMedhi 公开怒斥 Sam Altman：所谓「解决纳维-斯托克斯方程」，据其描述只是 1 万个 agent 在数百万美元 GPU 集群上跑了 88 小时，在受控外部强迫条件下于 Lean 中形式化了一个爆破(blowup)案例。
他批评这是「纯粹的科学粗俗」：克雷数学研究所千禧年大奖问题问的是三维不可压欧拉/纳维-斯托克斯方程在自然守恒律与黏性耗散下的稳定性与全局光滑存在性，而不是靠人为注入平滑外力项制造奇点。争议反映对 AI agent 冲击千禧年难题宣称的强烈质疑。
所属事件:OpenAI 巨额算力求解 Navier-Stokes 引发抢发与暴力计算争议(26 条相关)→
「Fun」频道最新
- 吐槽：连人工客服都聊得像 GPT 了 — gaganghotra_ · 2026-10-27
- 学术界的「谦虚」：嘴上说小贡献，心里盼全员反对 — prof_kamilov · 2026-10-27
- 用 Grok bot 把 ESP 变成 iPhone 配件,远程同步机器人舵机 — Baconbrix · 2026-10-27
- Overcast 作者调侃：iPhone Duo 用户数一周内将超 iPhone Air — film_girl · 2026-10-27
- 恶搞招股书把 Roko's Basilisk 写成投资风险,发帖人当真引发热议 — AgentTamerlane · 2026-10-27
- ChatGPT 把 404 Media 当科技公司客服，大批用户被推荐去找记者修手机 — 404 Media · 2026-10-26