千禧年大奖难题

AI解决数学千禧年难题引发学术争议

OpenAI在2026年9月8日宣布利用人工智能生成了纳维-斯托克斯方程存在性和光滑性问题的解决方案，并提供了Lean形式化证明和非形式化手稿。然而这一宣布随即引发数学界的广泛质疑。