OpenAI宣称证明纳维-斯托克斯方程有限时间爆破，引发AI在数学中作用的讨论。作者认为，证明不仅需正确，更需增进理解。在气候预测、飞机设计等领域，预测须先于验证被信任，因此需可审计的因果链。应将AI嵌入物理守恒律等可审计框架，用于学习可单独检验的闭合模型，而非端到端黑箱，从而让理解与预测相互促进。