Gary Marcus 与 Terence Tao 评 OpenAI 数学模型发布：报告缺乏可审查细节

Gary Marcus 批评 OpenAI 新数学成果报告未说明验证流程、模型架构、失败率和训练细节，无法判断其通用性，可能只是适用于可验证领域的 Lean 与合成数据技巧。他还指出社交媒体讨论沦为不加追问的喝彩，并附上 Terence Tao 转发的恶搞新闻稿。