# 纳维-斯托克斯方程

Tapio Schneider 以 OpenAI 于 9 月 8 日宣布的强制 Navier-Stokes 方程有限时间爆破证明为切入点，区分了作为解释性理解的 episteme 与作为预测技艺的 techne，主张当预测必须在被经验验证之前就被信任时（如数十年气候预估、新构型飞机设计），信任来自从假设与输入数据到结果的、每一环都可单独检验的可审计因果链，因此 AI 应嵌入守恒律等可审计脚手架中，用于学习可被高分辨率模拟、观测或实验检验的闭合模型，而不是采用端到端模型。

Tapio Schneider 以 OpenAI 于 9 月 8 日宣布的强制 Navier-Stokes 方程有限时间爆破证明为切入点，区分了作为解释性理解的 episteme 与作为预测技艺的 techne，主张当预测必须在被经验验证之前就被信任时（如数十年气候预估、新构型飞机设计），信任来自从假设与输入数据到结果的、每一环都可单独检验的可审计因果链，因此 AI 应嵌入守恒律等可审计脚手架中，用于学习可被高分辨率模拟、观测或实验检验的闭合模型，而不是采用端到端模型。