Gary Marcus质疑OpenAI最新数学成果透明度与泛化性

针对OpenAI发布的重大数学成果，Gary Marcus公开提出质疑，批评其报告内容过于含糊且无法通过同行评审。Marcus指出，OpenAI未公开模型架构、证明生成与Lean符号系统的验证流程、失败率以及具体训练细节。这导致外界无法评估该成果在数学领域之外的泛化能力，也难以判断该研究究竟是迈向AGI的实质性进展，还是缺乏通用性的孤立特例。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。