⌘ K
… 读取采集状态 同步中...
雷
原文
人工智能学家· [英]·· 2026-09-11AI 评分54

OpenAI 内部模型生成了纳维-斯托克斯方程存在性与光滑性问题的证明

万字通俗讲透OpenAI 88小时攻破的千禧年难题:纳维-斯托克斯方程!数学史上最复杂的公式!

AI 导读

OpenAI 宣布其内部模型生成了纳维-斯托克斯方程存在性与光滑性问题的完整证明,并已通过 Lean 形式化验证。纳维-斯托克斯方程主要用于计算流体动力学,广泛应用于客机、潜艇、赛车设计及医学血流研究等领域,此次进展将作为第二个被解决的千禧年难题,后续还需克雷数学研究所的进一步验证。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:人工智能学家 · mp.weixin.qq.com