9 月 8 日,OpenAI 公布了一套针对 Navier–Stokes 千禧年问题的有限时间奇点构造。一个仍在训练的内部模型,配合约 1 万个 Agent 持续搜索约 88 小时,随后又用 Lean 完成形式化。
按照 OpenAI 给出的结果,这套构造能够让三维流体在光滑外力和有限动能条件下,演化到局部速度无界。
消息出来后很快引发争论。航空航天工程教授 Chris Combs 提醒,这并不等于得到了一套可以直接计算任意流体运动的通用解法,对现有 CFD 工作也不会立刻产生明显变化;数学侧讨论的则是三维光滑解能否一直维持正则性,有限时间 blow-up 本身就击中了这个命题。 |
| |||||||||||||||||||||||||


点击朱笔,直抒胸臆