OpenAI宣布攻克千禧年难题OpenAI回应攻克千禧年难题AI再一次在顶尖数学领域爆出重磅消息🔥当地时间9月8日，OpenAI宣布，其内部一款性能远超GPT‑6 Astra的未公开AI模型，完成了纳维‑斯托克斯存在性与光滑性问题的证明。这正是克雷数学研究所2000年提出的七大千禧年大奖难题之一，这个关于流体运动的难题已经困扰数学界接近90年。根据披露，这次证明依靠约10000个AI智能体协同协作，耗时88小时产出证明过程，后续再由GPT‑6 Astra花费17小时，完成Lean语言的形式化验证。证明得出：初始平滑的静止流体，有可能在有限时间内产生流速无限增长的“奇点”。放眼行业，AI攻坚顶级数学猜想已经不是孤例。此前Anthropic的Claude研究模型，也在黎曼猜想相关研究上取得重大进展，大幅提升零点比例下界，当时就引发业界震动。大模型正在跳出简单问答，真正参与到人类前沿数学推导当中。不过需要理性看待：这份证明还需要全球数学家群体的复核检验，不能直接等同于板上钉钉的最终结论。人工智能究竟能把基础科学带到哪一步，值得持续关注。AI大模型 千禧年数学难题 科技前沿