WORLDTECH人工智能 单一来源
数学家称OpenAI并不理解其自身的Navier-Stokes证明
由 WORLDTECH 译自英文。事实、数字、名称和来源均与英文原文一致。 English
事件经过
据The Decoder报道，数学家称OpenAI并不理解其自身的Navier-Stokes证明。OpenAI提交了一份166页的Navier-Stokes问题解答，但显然并未完全理解自己的证明。多个专家团队对其声称的方法提出质疑，认为实际采用的思路与OpenAI所描述的不同。OpenAI是一家总部位于旧金山的人工智能公司。
由于语言模型是黑箱，其背后的思路究竟从何而来，很可能永远无法厘清。这篇文章《数学家称OpenAI并不理解自己的纳维-斯托克斯证明》首次发表于The Decoder。
AI研究 复制链接 分享本文 前往评论区 数学家称OpenAI并不理解其自身的Navier-Stokes证明 Manuel Uth 2026年10月17日 Nano Banana Pro根据THE DECODER的提示生成 9月初，该公司提交了一份166页的Navier-Stokes问题潜在解答。OpenAI称，该证明遵循了西班牙数学家Diego Córdoba和Luis Martínez-Zoroa的思路。
据《科学美国人》报道，多个专家团队现已提出异议。瑞士洛桑联邦理工学院的数学家Gonzalo Cao-Labora表示：“深入细节看，这是一种不同的思路。”
他说，两者的相似之处只是表面上的。该潜在证明以Lean语言编写，这是一种形式化验证语言，能够逐步检查每一个逻辑步骤，但其本身并不便于人类阅读。克雷数学研究所（CMI）自该证明发布以来一直在对其进行审查。