OpenAI用1万AI智能体证明纳维-斯托克斯千年难题

#OpenAI证明流体力学难题# 9月9日凌晨，OpenAI宣布其AI系统使用1万个协调智能体，在88小时内完成了纳维-斯托克斯方程存在性与光滑性问题的解析证明，这是七大千年奖难题之一，悬置约90年。

该成果由OpenAI内部下一代模型与10,000个AI智能体协作完成，系统生成了完整的数学证明和Lean形式化验证。证明表明三维光滑流体的运动可能在有限时间内产生奇点，这是数学界长期未解的世纪难题。

若该证明获得数学界验证通过，将标志AI在基础科学证明领域取得里程碑式突破。这也是OpenAI继AlphaFold之后，再次展示AI在科学发现领域的强大能力。此前Claude也曾用类似方式解决过费马大定理相关证明问题。