OpenAI unleashes hundreds more math results upon a field in shock
3 hours ago
- OpenAI发布了一款新的大型语言模型的372个结果，声称在数学和理论计算机科学领域取得了突破，包括在Kakeya猜想和黎曼假设上的进展。
- 许多结果在Lean中得到了验证，但由于OpenAI缺乏透明度且拒绝公开模型或提示，数学家们对此持怀疑态度。
- 该模型据称通过单个提示对单个AI代理产生了结果，这与先前为解决Navier-Stokes问题所使用的高成本群体方法形成了鲜明对比。
- OpenAI成立了一个负责任发布的咨询小组，但并未完全遵循其建议，只选择披露平均计算时间。
- 数学界对此意见不一：一些人认为发布结果有益，而另一些人（如陶哲轩）则批评其速度‘疯狂’。
- OpenAI计划继续推进，声称解决数学问题是测试AI智能的重要标准，尽管这些结果内部存在困惑。