RecodeX 重构消息，OpenAI公布了一项与纳维-斯托克斯方程相关的研究成果，并随附一份用Lean 4编写的完整形式化证明。该证明以机器可验证的方式对相关数学结论进行了形式化表述。