Gary Marcus 与 Terence Tao 评 OpenAI 重大数学成果发布

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