数学界驳斥 Altman 纳维-斯托克斯解题宣称

Sam Altman 宣称用约 1 万个 agent 在数百万美元 GPU 集群上运行 88 小时，以 Lean 形式化「解决」了纳维-斯托克斯方程，但遭到数学界猛烈反驳。反驳者指出其方法中注入了外力项，属于数学漏洞而非真正解题；网友也批评此举是「花百万 GPU 强造奇点」，不算真正的数学成果，相关争论在社区持续发酵。

2026-09-09 ~ 2026-09-10 · 3 条相关

• 数学家驳斥 Altman「解决纳维-斯托克斯」:注入外力项属数学漏洞 — rkulidzan · 2026-09-09
• 网友怒批 OpenAI 纳维-斯托克斯成果：花百万 GPU 强造奇点不算解题 — thedealdirector · 2026-09-10
• 数学圈怒批 OpenAI Navier–Stokes 事件：像富人炫耀猎杀被困犀牛 — deliprao · 2026-09-10