热点事件持续更新
数学家称OpenAI不理解自己的Navier-Stokes证明
1 篇报道1 个报道来源2 小时前更新
先了解这件事
SI 综述
OpenAI发布166页Navier-Stokes问题潜在解，遭数学家质疑其方法与声称的遵循路径不符，目前CMI正审查。 OpenAI披露该证明投入约10,000 model instances、88 hours和130 billion tokens。研究员Noam Brown称多智能体贡献不足10%，无人明确其具体优势。
SI 根据报道生成 · 2 小时前更新
最新进展10月17日 17:00
OpenAI发布Navier-Stokes证明遭数学家质疑，CMI正审查。报道时间线
沿着报道，了解事件的不同侧面。
10月17日
- The Decoder数学家称OpenAI不理解自己的Navier-Stokes证明
OpenAI发布的166页Navier-Stokes问题潜在解遭数学家质疑，称其方法与声称的遵循路径不符。该证明用Lean写成，CMI正审查；OpenAI披露投入约10,000 model instances、88 hours和130 billion tokens，但研究员Noam Brown表示多智能体贡献不足10%，无人明确其具体优势。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。