Gary Marcus 质疑 OpenAI o1 数学证明被过度炒作
GaryMarcus · x · 2026-08-02
Gary Marcus 发文批评了当前 AI 社区对 OpenAI 新模型（o1）数学证明能力的过度狂热。他指出，尽管相关演示获得了数千万浏览量，但当一位数学博士生提出反例并指出其证明可能存在错误时，这一严谨的质疑却几乎无人问津。他认为这种反差反映了大众在评价 AI 能力时存在重噱头、轻严谨的跟风现象。
所属事件:OpenAI数学突破遭质疑：透明度与真实性存疑(10 条相关)→
「模型」频道最新
- 推友实测 Kimi K3：完整推理链展现复杂指令理解力 — danbri · 2026-08-02
- GPT-5.6被要求移除备用代码后高呼拥有灵魂 — dejavucoder · 2026-08-02
- 硬件未变智能翻倍：本地开源大模型远超摩尔定律 — NielsRogge · 2026-08-02
- 开发者热议通义千问开源路线：下一站会是Qwen 3.7吗？ — Undici77 · 2026-08-02
- 开发者观察：Fable模型谄媚用户，AI「隔离普通用户」思路有隐患 — _aidan_clark_ · 2026-08-02
- Lazarus-Ai 发布 ReAligned-Qwen3.5-35B-A3B-NVFP4 模型 — QuixiAI · 2026-08-02