OpenAI宣布攻克千禧年难题2026年9月8日，OpenAI宣布其内部AI模型成功攻克了困扰数学界近90年的“纳维-斯托克斯存在性与光滑性”千禧年大奖难题，但随之而来的学术争议引发了广泛关注。一、 攻克成果与核心证明破解百年难题：OpenAI证明了三维不可压缩流体在光滑外力作用下，可在有限时间内发展出“奇点”（流速无限增长但能量有限），对应千禧年问题中的C和D情形。形式化验证：该证明不仅提供了165页的分析文稿，还通过Lean编程语言完成了形式化验证，确保逻辑链条的绝对严密。二、 研发过程与算力投入万级Agent协作：研究由约10,000个AI智能体分组并发探索，耗时约88小时生成证明，期间发送270万条消息，消耗约1300亿输出Token。成本与奖金：此次算力成本高达数百万美元，由远超GPT-6 Astra的未公开内部模型驱动，OpenAI明确表示不申领100万美元的克雷数学研究所奖金。三、 当前状态与学界认定等待同行评议：尽管Lean验证保证了代码层面的正确性，但克雷数学研究所规定，证明必须在公认期刊发表并经过至少两年的社区审查后，才可能被正式承认。官方状态：截至发稿，克雷研究所官网仍将纳维-斯托克斯问题列为未解决状态，AI生成的证明正接受全球数学家的独立检验。