OpenAI 在9月8日宣布，其内部未公开的AI模型成功解决纳维-斯托克斯存在性与光滑性问题。这是数学界悬而未决90年的千禧年大奖难题之一，涉及流体运动方程是否失效的关键问题。
此前Anthropic的Claude模型在黎曼猜想研究中取得突破，将零点比例下限从41.6%提升至67.2%。这一进展引发学界震动，而OpenAI的突破更让数学界震撼——1万个AI智能体协作仅用88小时就完成证明。
团队通过设计向内旋转的涡流结构，在物理定律允许范围内实现奇点生成。证明过程经Lean编程语言验证，GPT-6 Astra在17小时完成形式化验证。研究者称这是过去十二个月最惊人的数学突破。
消息引发争议，纽约大学教授质疑OpenAI可能借鉴了其研究数据。OpenAI承认模型可能参考了用户数据，但否认访问具体研究内容。这场突破凸显AI在数学领域的潜力，也引发关于数据隐私与功劳归属的讨论。
此次计算成本或达1500万至2250万美元，OpenAI选择不领取100万美元奖金。数学家陶哲轩既视其为科研灯塔，也警告AI可能削弱人类对数学的理解。
