千机 API 热点事件持续更新
数学家质疑OpenAI纳维-斯托克斯证明
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
OpenAI提出一份166页的纳维-斯托克斯方程潜在证明，并称其方法与西班牙数学家Diego Córdoba和Luis Martínez-Zoroa的方法相关。证明以Lean编写，目前由克雷数学研究所审查。2026年10月17日，The Decoder报道，多位数学家认为该证明与两位西班牙数学家的方法仅有表面相似，并质疑OpenAI对证明来源的理解。
AI 根据报道生成 · 2 小时前更新
最新进展10月17日 17:00
多位数学家称OpenAI的证明与其所称的相关方法仅表面相似；克雷数学研究所正在审查。报道时间线
沿着报道，了解事件的不同侧面。
10月17日
- The Decoder数学家质疑 OpenAI 对 Navier–Stokes 潜在证明及其来源的理解
多位数学家认为，OpenAI 的 166 页 Navier–Stokes 潜在证明与公司所称的西班牙数学家 Diego Córdoba 和 Luis Martínez-Zoroa 的方法只有表面相似；证明以 Lean 编写，Clay Mathematics Institute 正在审查。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。