OpenAI称1万AI智能体88小时解出纳维-斯托克斯方程

RecodeX 重构消息，OpenAI发布一份165页论文及Lean形式化证明文件，声称其1万个AI智能体在88小时内解决了纳维-斯托克斯方程。然而，克莱数学研究所仍将该千禧年大奖难题列为未解。