调动1万个智能体，OpenAI宣布：解决一个重大数学难题_快讯

调动1万个智能体，OpenAI宣布：解决一个重大数学难题

2026-09-10 09:31 OpenAI

9月8日，OpenAI宣布，其内部AI系统给出了纳维-斯托克斯方程（Navier–Stokes）存在性与光滑性问题的解答，并公开了相关论文和Lean形式化证明。OpenAI称，此次攻关调动了高达约1万个并发AI智能体，约88小时后得到核心证明。纳维-斯托克斯问题是克雷数学研究所（Clay Mathematics Institute）2000年公布的7个“千禧年大奖难题”之一，每题奖金为100万美元。克雷数学研究所目前仍将该问题列为“未解决”。对于OpenAI的“成果”，学术界也发出了不同的声音。菲尔兹奖得主、数学家陶哲轩直接警告称，AI抢跑数学界，好问题成稀缺资源。