N-S方程

N-S方程是描述流体运动的核心方程，广泛应用于天气预报、飞机设计等领域。

原本，N-S方程是描述流体的一项“铁律”。

关于N-S方程问题的突破，OpenAI给出了一份长达166页的完整数学推导论文及配套的Lean形式化验证代码。

AI攻克N-S方程问题后，真正受影响的是数学家的自我认知。

此前，纽约大学柯朗数学科学研究所数学教授特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格已就N-S方程相关的流体问题取得了关键进展，并于9月7日午夜前公开了成果，比OpenAI官宣早约12小时。