OpenAI 发布纳维-斯托克斯千禧年难题的 AI 生成解法

OpenAI 宣布分享一个针对纳维-斯托克斯千禧年大奖难题的 AI 生成解决方案，包含文字论述和 Lean 形式化证明。这是 AI 在顶级数学难题上的新进展，对关注 AI 与数学交叉领域的用户有参考价值。

原文来自 OpenAI 官方博客，版权归原作者所有。中文标题和摘要由 AI 根据原文自动生成，可能有误，请以原文为准。