Goertzel 称去年已用 LLM 尝试证明 Navier-Stokes,争优先权

bengoertzel · x · 2026-09-09

在得知 DeepMind 研究人员借助 AI 证明 Navier-Stokes 方程解的存在唯一性(据报道 OpenAI 的 Astra 用了 2250 万美元算力)后,Ben Goertzel 声称自己几个月前就尝试过用 LLM 协助证明该定理。他的思路是利用 HJB 方程到 Navier-Stokes 方程的映射,把 HJB 的存在唯一性结果迁移过来,细节工作则借助了多个 LLM。他表示如果证明成立,按传统数学标准自己有优先权(证明思路此前已放在 Google Drive 上),但尚未做形式化验证,不排除存在漏洞。他还指出 LLM 时代形式化验证长证明的可行性和必要性都是新问题,并拿出了与 GPT5.1-pro 协作整理的证明草稿。