热点事件持续更新
OpenAI纳维–斯托克斯证明争议
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年9月，OpenAI公布一份长达166页、以Lean编写的纳维–斯托克斯问题潜在解，并由Clay Mathematics Institute持续审查。随后，多位数学家质疑该方案对相关参考工作的理解，认为其方法与所称参考工作只是表面相似。2026年10月17日的报道还称，OpenAI否认使用Tristan Buckmaster数据的指控；目前该方案仍处于审查和争议之中。
AI 根据报道生成 · 1 小时前更新
最新进展10月17日 17:00
数学家继续质疑方案理解，OpenAI否认使用Buckmaster数据。报道时间线
沿着报道，了解事件的不同侧面。
10月17日
- The Decoder数学家质疑 OpenAI 对 Navier–Stokes 潜在证明的理解
OpenAI 在 9 月公布了 166 页 Navier–Stokes 问题潜在解，但多位数学家认为其方法与所称参考工作只是表面相似。该方案用 Lean 编写，Clay Mathematics Institute 自发布后一直审查；OpenAI 否认使用 Tristan Buckmaster 数据的指控。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。