OmniTools 9月10日消息,OpenAI 在社交平台披露一项关于 Navier-Stokes 方程千禧年大奖难题的阶段性进展。该证明由一组智能体协作完成,所用模型为 OpenAI 尚未发布的下一代大模型,能力显著强于当前公开的 GPT-6 Astra。
Navier-Stokes 方程描述三维不可压缩流体运动,其解的存在性与光滑性问题自提出以来已逾90年未获完全解决,是克雷数学研究所七大千禧年难题之一。此次工作聚焦 Fefferman 形式化表述中的情形(C)与(D),构造出对任意正粘性系数、从静止初态出发、在有限时间内产生无界速度但动能保持有界的解。
相关成果目前仅以论文截图形式在社交平台公开,尚未发布完整论文或经同行评审,学界仍需进一步验证。