2026年9月8日，OpenAI宣布其AI系统在88小时内完成千禧年难题之一——纳维-斯托克斯方程的证明，并发布166页Lean形式化验证版本。但多国数学家指出，该证明未遵循主流研究路径，且未解决无外力条件下的核心问题；专家质疑其方法原创性、智能体实际贡献率不足10%，并批评成果密集发布缺乏学术阐释。目前全球数学界仍在审查中。