OpenAI 公布 Navier–Stokes 问题解答研究
官方公布内部模型提出的流体方程证明与 Lean 形式化材料。
具体内容
OpenAI 发布关于 Navier–Stokes 存在性与光滑性问题的研究，表示内部模型构造了有限时间出现奇点的证明，并提供论文和 Lean 形式化材料。这是重大数学问题的研究报告，应结合原文及独立数学审查理解其范围。
- 研究对象是流体方程解的光滑性。
- 官方提供书面证明与形式化验证材料。
- 区分模型提出的证明、形式化检查与数学界独立审查。
官方研究报告；不将其描述为已获得千禧年大奖或已经完成全部独立审查。
用户标记：未标记
固定编号：717ed988a4e9d4ff
原文来源