The Decoder· Manuel Uth·· 2 小时前
数学家称OpenAI并未理解其Navier-Stokes潜在证明
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
研究任务与主要进展
多位数学家指出，OpenAI对一份166页Navier-Stokes潜在解法的来源描述与实际方法存在差异。该证明以Lean形式化语言编写，Clay Mathematics Institute正在审查；OpenAI是否借鉴其他研究人的工作也受到质疑，OpenAI否认使用Buckmaster的数据。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请阅读原文核验。
来源：The Decoder · the-decoder.com