OpenAI公布Navier-Stokes候选解

发生了什么

据爱范儿报道，OpenAI于9月8日公布Navier-Stokes存在性与光滑性问题的候选解及Lean形式化证明。该证明由内部模型协调约1万个Agent完成，耗时约88小时生成候选解，GPT-6 Astra随后花费17小时完成验证。纽约大学Tristan Buckmaster质疑数据使用，OpenAI称未访问具体用户数据但无法排除去标识化数据参与改进。目前该结果尚未经过独立检验，OpenAI无意申请奖项。