📌 #OpenAI证明流体力学难题

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

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

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

OpenAI此次展示了AI Agent在科研场景的深层应用，从辅助计算走向独立证明，引发了关于AI能否替代数学家核心工作的广泛讨论。

AI 生成 . 搜索综合