核心信息

  • 据相关发布内容，OpenAI 正在分享纳维-斯托克斯千禧年问题的一个解法。该证明由一组 AI 智能体完成，使用的是被描述为“显著强于 GPT-6 Astra”的 OpenAI 下一代模型。这个问题关乎纳维-斯托克斯方程描述的三维光滑流体运动是否会失效，已悬而未决约 90 年。
  • 相关评论补充了背景：该结果花了“数百万美元”；同时 AI 推理成本正在快速下降——o3 在 ARC-AGI 1 上达到 87.5% 曾需约 50 万美元，而 Astra 如今以约 20 美元成本得到更高分数。评论者预测，到 2026 年国际数学奥林匹克，任何每月订阅 20 美元 ChatGPT 的用户都可能达到金牌级别的数学能力。

要点

  • 一组 AI 智能体据称为一个约 90 年未解的前沿数学问题产出了证明。
  • 该证明使用了 OpenAI 下一代模型，能力被定位为明显超过 GPT-6 Astra。
  • 从 o3 的约 50 万美元单次基准成本，到 Astra 的约 20 美元更高成绩，AI 数学推理成本曲线正在陡降。
  • 测试时计算的大规模扩展，被视为“未来人人都能拥有前沿 AI 数学能力”的伏笔。