OpenAI纳维-斯托克斯方程证明方法被指与官方叙事不符，学界验证或需数年

数学界审查OpenAI发布的纳维-斯托克斯方程证明时，对其方法是否真正解决目标问题、与既有研究的关系及成果归属提出质疑。专家认为，形式化验证不等于解决了最受关注的无外力情形，OpenAI也可能未完全理解模型生成的证明；多智能体贡献或不到10%，相关研究的大规模集中发布还引发可读性和学术规范争议。

来源：IT之家