OpenAI宣布其未发布的AI模型在9月5日用10,000个并发agents，耗时88小时，解决了Navier-Stokes存在性与光滑性问题——这是数学界7个千年奖问题之一、已悬而未决近90年、赏金100万美元的难题。这些agents证明：原本光滑的流体在有限时间内可能发生奇点（数学爆炸），使用Lean证明助手由GPT-6 Astra形式化验证，又耗时17小时。运算消耗了270万条agent消息和约1300亿个output tokens（仅Navier-Stokes部分），总跨所有尝试问题490万条消息、3000亿tokens。OpenAI没有领取100万美元奖金，而是发布了论文和形式化验证。这个里程碑证明了多agent系统可以自主进行原创科学研究——标志着AI从实验室展示跨越到生产级科学发现。结果经过形式化验证、可信，表明AI驱动的发现已开始攻克人类最难的未解问题。这代表了AI能力从工具辅助向独立科研的根本性转变。