【OpenAI宣布攻克千禧年难题】

近日，OpenAI对外公布研究成果，称依靠未发布、性能强于GPT‑6 Astra的内部AI模型，协同上万AI智能体，耗时88小时，给出千禧年大奖难题之一纳维‑斯托克斯方程存在性与光滑性问题的解答。该问题围绕三维流体运动，困扰数学界近90年，答对可获得克雷数学研究所100万美元奖金。OpenAI公开165页论文以及Lean形式化证明，结论认为光滑流体可在有限时间产生奇点。消息引发行业震动，同时也出现学界争议，部分数学家对证明原创性提出质疑。此次事件，也标志AI正式深度切入高端纯数学研究领域，但完整结论仍有待整个数学界进一步核验论证。