AI风向标
Simon Willison 评 OpenAI 用未发布模型求解 Navier-Stokes 千禧年大奖难题之争
OpenAI 用未发布模型在约88小时内给出 Navier-Stokes 存在与光滑性问题（七大千禧年难题之一）的解答，并通过 GPT-6 Astra 完成17小时 Lean 形式化验证，全程发送490万条消息、消耗约3000亿输出 token。
详细介绍
OpenAI 用未发布模型在约88小时内给出 Navier-Stokes 存在与光滑性问题（七大千禧年难题之一）的解答，并通过 GPT-6 Astra 完成17小时 Lean 形式化验证，全程发送490万条消息、消耗约3000亿输出 token。
AI HOT 详情：https://aihot.news/items/cmttbyra803k5rofpxjajvkez
原文链接：https://simonwillison.net/2026/Sep/8/on-navier-stokes