标签

千禧年难题

共 1 篇文章

OpenAI 9 月 8 日宣布，其内部未公开模型提出纳维-斯托克斯存在性与光滑性问题的解答，证明光滑流体可在有限时间内形成奇点，并用约 1 万个智能体协作、Lean 形式化验证，成为 AI 攻克顶级数学难题的标志性事件。