继 Claude 尝试攻克黎曼猜想后：OpenAI 宣布用 10000 个 AI 智能体 88 小时攻克千禧年大奖难题，陶哲轩既点赞又担忧

OpenAI 宣布其内部未公开 AI 模型成功解决纳维 - 斯托克斯存在性与光滑性问题。该团队通过约 10,000 个 AI 智能体协作，在 88 小时内生成证明，显示初始平滑静止流体在有限时间内可能发展出奇点。验证工作由 GPT-6 Astra 在 17 小时内完成，提供分析证明及 Lean 编程语言形式化验证。此次计算成本估算为 1,500 万至 2,250 万美元，OpenAI 表示不打算申领克莱数学研究所的奖金。纽约大学数学教授特里斯坦·巴克马斯特质疑 OpenAI 资源转向时机及数据隐私问题，OpenAI 否认访问具体用户数据但承认不排除匿名化数据帮助。著名数学家陶哲轩既点赞又担忧 AI 解决难题可能削弱人类对数学的理解。