Gary Marcus 与 Terence Tao 评议 OpenAI 的大规模数学成果发布

Gary Marcus 与 Terence Tao 围绕 OpenAI 的大规模数学成果发布提出质疑，讨论重点不是单项结果是否成立，而是研究过程和证据披露是否足以支持更广泛的科学判断。

• Marcus 质疑公开材料对模型架构、生成流程、失败率和训练方法说明不足。
• 他提出，若证明由模型生成后再由 Lean 检查，仍需区分定理验证、问题搜索和完整研究过程之间的差异。
• OpenAI 官方于 2026-10-06 表示，已公开部分 Lean 形式化证明、尝试题目统计和计算投入，并计划持续更新材料。
• 因此，当前争论同时包含事实核验和方法论判断，不能仅凭预印本数量推断通用智能或数学能力的外推范围。
• 影响/看点：争议可能促使 AI 科研发布增加可复现实验、失败案例和过程数据；这一方向能否改善学术评估，取决于外部研究者是否能访问足够材料并独立复核。
• 资料依据:
• OpenAI（2026-10-06）：Sharing AI progress in mathematics https://openai.com/index/sharing-ai-progress-in-mathematics/
• Nature（2026-10-07）：OpenAI posts 700 maths preprints online: mathematicians are up in arms https://www.nature.com/articles/d41586-026-03196-8
• Gary Marcus（2026-10-07）：Complementary remarks from Gary Marcus and Terence Tao on OpenAI’s giant math drop https://garymarcus.substack.com/p/complementary-remarks-from-gary-marcus

本内容由 AI 生成，仅供参考，请注意甄别