Simon Willison 博客·· 29 天前AI 评分82
Simon Willison 评 OpenAI 用未发布模型求解 Navier–Stokes 千禧年大奖难题之争
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 用未发布模型在约88小时内给出 Navier–Stokes 存在与光滑性问题（七大千禧年难题之一）的解答，并通过 GPT‑6 Astra 完成17小时 Lean 形式化验证，全程发送490万条消息、消耗约3000亿输出 token。
整理与数据来源：AIHOT
来源：Simon Willison 博客 · simonwillison.net