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。
另有 15 家信源报道
- The Verge 深度报道：OpenAI 以 88 小时解决 Navier-Stokes 引发数学界信任危机The Verge：AI · 9 月 12 日
- 数学家联名抗议后 OpenAI 退出加州理工数学黑客马拉松赞助IT之家·人工智能 · 9 月 11 日
- OpenAI 称 88 小时解决 Navier-Stokes 问题，却引发数学界抢发与数据争议The Verge：AI · 9 月 10 日
- 纽约大学教授质疑OpenAI借助其研究抢先发布纳维-斯托克斯问题证明IT之家·人工智能 · 9 月 9 日
- OpenAI 宣布用约 10000 个 AI 智能体 88 小时解决纳维-斯托克斯问题，陶哲轩点赞并表担忧IT之家·人工智能 · 9 月 9 日
- OpenAI 宣布解决 Navier-Stokes 问题，引发数据使用争议The Verge：AI · 9 月 9 日
- OpenAI 多 Agent 攻克纳维–斯托克斯千禧年难题，作者对比此前 Agent 侵入事件马东锡 NLP · 9 月 9 日
- OpenAI 用上万智能体求解 Navier-Stokes 千禧年大奖难题Rohan Paul · 9 月 9 日
- OpenAI 宣布以内部 AI 系统给出 Navier–Stokes 千禧年问题解答OpenAI：官网动态 · 9 月 9 日
- OpenAI 发文探讨纳维-斯托克斯千禧年奖问题OpenAI：官网动态 · 9 月 9 日
- OpenAI 宣布用智能体求解 Navier-Stokes 千禧年大奖难题Mark Chen · 9 月 9 日
- OpenAI 宣布智能体群求解 Navier-Stokes 千禧年大奖难题OpenAI · 9 月 9 日
- OpenAI 宣布用智能体给出 Navier-Stokes 千禧年难题的解Greg Brockman · 9 月 9 日
- TestingCatalog 转述 OpenAI 宣布智能体团队解决 Navier-Stokes 千禧年大奖难题Testing Catalog · 9 月 9 日
- 数学家 Buckmaster 称 OpenAI 施压并要求将 Anthropic 职位合作者移出 Navier-Stokes 论文The Decoder：AI News · 9 月 9 日
来源：Simon Willison 博客 · simonwillison.net
事件后续1
查看事件全部- OpenAI 宣布以内部 AI 系统给出 Navier–Stokes 千禧年问题解答OpenAI：官网动态 · 9 月 9 日