Hacker News· BPPurana·· 2 小时前AI 评分48
OpenAI NavierStokesAndEuler 形式化项目的结构与数学审计
Structural and mathematical audit of OpenAI's Navier-Stokes formalization
AI 导读
一份针对 openai/NavierStokesAndEuler 的 Lean 4 形式化及配套 LaTeX 预印本的审计指出，多个模块在文档中明确承认未提供手稿所称的无条件全阶估计，物理场实现以外部结构假设 PhysicalFields 传入。
来源：Hacker News · github.com