88小时、1万个AI智能体、1300亿输出Token，OpenAI据称生成了纳维-斯托克斯方程的证明，再由GPT-6 Astra用17小时完成Lean验证。但克雷数学研究所仍未认定，且署名与数据使用争议未解。我的判断：这是强大的数学工程演示，不等于难题正式攻克。 OpenAI攻克千禧年难题模型尚未发布 ​​​