当地时间9月8日，OpenAI宣布其内部未公开的AI模型（性能远超最新发布的GPT-6 Astra）成功解决了“纳维-斯托克斯存在性与光滑性问题”——这是克莱数学研究所2000年列出的七大“千禧年大奖难题”之一，已困扰数学界近90年。该问题关乎描述流体运动的方程是否会在有限时间内产生无意义的“奇点”，即流速无限增长。OpenAI表示，团队调动约10000个AI智能体协作，在88小时内生成了完整证明，证明显示初始平滑的静止流体确实可能在特定外力条件下发展出奇点，随后由GPT-6 Astra在17小时内完成Lean语言形式化验证，确认了证明的严谨性。
然而，这一突破迅速引发学界质询。纽约大学数学教授特里斯坦·巴克马斯特与Anthropic研究员在前一日刚发表相关流体方程成果，他质疑OpenAI在听闻其进展后转向“外力驱动”方法，并担心自己存储于OpenAI Codex模型中的研究数据可能被用于训练或参考。OpenAI研究员布贝克否认访问具体用户数据，但承认“不排除”匿名化数据有助于模型改进，这种模糊回应加剧了数据隐私的焦虑。
著名数学家陶哲轩对此既表示赞赏，也警告若AI解决最艰深问题而人类无需深度参与，可能削弱数学的真正理解。据估算，此次计算成本高达1500万至2250万美元，远超百万美元奖金，OpenAI表示不申领奖金。该事件已然成为AI挑战人类智力巅峰的里程碑，同时也引发了功劳归属、数据利用及AI安全性的广泛讨论，技术突破与伦理隐忧之间的张力愈发凸显。
原创文章，作者：李小白，如若转载，请注明出处：https://www.kejixun.co/article/761585.html
