科学美国人：OpenAI证明方法与原认定不同
热点事件持续更新
科学美国人：OpenAI证明方法与原认定不同
1 篇报道1 个报道来源10 小时前更新
先了解这件事
AI 综述
《科学美国人》追踪报道指出，OpenAI公布的166页纳维-斯托克斯方程证明实际采用的方法与发布时声称的西班牙路线不同，OpenAI在发布时也未搞清模型的具体做法。有专家认为OpenAI早期用较小Agent团队完成的中间证明可能沿用了西班牙路线。 该证明生成了Lean形式化代码可供逐步检查，但数学界至今尚未真正理解其数学思想。OpenAI还公开了722篇涵盖霍奇猜想、BSD猜想等的数学手稿，核验进度不一；陶哲轩等数学家多次表示AI生成证明的速度远超人类理解消化的速度。对于模型是否在训练中接触过其他研究者的数据，OpenAI已公开否认，但外界无法独立核查。
AI 根据报道生成 · 2 小时前更新
最新进展10月16日 13:00
GPT纳维-斯托克斯证明方法反转，OpenAI未真正理解自家模型成果报道时间线
沿着报道，了解事件的不同侧面。
10月16日
- 量子位精选GPT纳维-斯托克斯证明方法反转，OpenAI未真正理解自家模型成果
《科学美国人》追踪报道发现，OpenAI公布的166页纳维-斯托克斯方程证明实际采用的方法与此前声称的西班牙路线不同，OpenAI在发布时也未搞清模型的具体做法。报道指出证明生成了Lean形式化代码可供逐步检查，但数学界尚未真正理解其数学思想；OpenAI还一口气公开了722篇涵盖霍奇猜想、BSD猜想等的数学手稿，核验进度不一，陶哲轩等数学家多次表示AI生成证明的速度远超人类理解消化的速度。
本事件热度走势
- 可比范围当前
- 8
- 可比范围峰值
- 810月16日 21:00
- 近 24 小时变化
- –
02468
21:0022:0023:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。