OpenAI宣布功课千禧年难题2026年9月8日，OpenAI宣布其内部下一代模型协同上万个AI智能体，在88小时内生成165页证明论文，宣称解决了三维不可压缩流体在光滑外力下有限时间奇点存在性问题，对应克雷数学研究所千禧年难题的C和D情形。后续由GPT-6 Astra耗时17小时、消耗约1300亿输出Token完成Lean形式化验证，确保逻辑自洽，OpenAI明确放弃百万美元奖金，但克雷研究所规定需经至少两年同行评审才正式承认该解答。目前学界对AI辅助证明的原创性、可解释性及物理意义尚存争议，最终认定仍需等待数学共同体审查。这一事件标志着AI在符号推理与数学发现领域迈出重要一步，但其成果能否经受住传统数学标准的考验，尚属未知。