审计指OpenAI纳维-斯托克斯形式化未达手稿主张

BPPurana 发布对 openai/NavierStokesAndEuler 的 Lean 4 形式化及配套 LaTeX 预印本的结构与数学审计，结论是形式化未兑现手稿所称的无条件全阶估计。 审计称，多个模块在文档中明确承认未提供该估计；物理场实现以外部结构假设 PhysicalFields 传入，而非在项目内构造。 该审计禁止商业使用，学术与公开引用须注明来源。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。