garymarcus.substack.com· Gary Marcus·· 3 天前AI 评估 · 36/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Gary Marcus 与 Terence Tao 评 OpenAI 新数学模型的模糊发布
Complementary remarks from Gary Marcus and Terence Tao on OpenAI’s giant math drop
AI 导读
Gary Marcus 与 Terence Tao 就 OpenAI 新公布的数学成果发表互补评论。Marcus 指出，OpenAI 仅称"用同一流程、借助未发布模型"完成证明，未披露架构、失败率、训练与数据增强细节，还提到证明是否由 Lean 一次性生成并验证也不清楚。他认为无法判断该结果的通用性，甚至无法排除其只是借助 Lean 与合成数据在可验证领域取巧。
来源：garymarcus.substack.com · garymarcus.substack.com