Gary Marcus 质疑 OpenAI o1 数学证明被过度炒作
GaryMarcus · x · 2026-08-02
Gary Marcus 发文批评了当前 AI 社区对 OpenAI 新模型（o1）数学证明能力的过度狂热。他指出，尽管相关演示获得了数千万浏览量，但当一位数学博士生提出反例并指出其证明可能存在错误时，这一严谨的质疑却几乎无人问津。他认为这种反差反映了大众在评价 AI 能力时存在重噱头、轻严谨的跟风现象。
所属事件:OpenAI数学突破遭Gary Marcus等质疑炒作(38 条相关)→
「模型」频道最新
- GPT-6 Astra 通关 Factorio 太空时代，游戏内耗时超 165 小时 — aran_nayebi · 2026-09-18
- Qwen3.8-Omni-Flash 发布:多人会议识别错误率降至 3%,API 降价 98% — karminski3 · 2026-09-18
- 内部人士:Gemini 3.8 live 部分基准已胜过 gpt-live-1 — bosmeny · 2026-09-18
- 105 个植入 bug 实测:Pareto 以 4.81 美元成本逼近顶级模型 — PawelHuryn · 2026-09-18
- Jason Wei 演讲:智能正商品化,自适应计算是关键转折 — dotey · 2026-09-18
- GPT-6-Astra 三小时通关《过山车大亨2》，对手花 5 倍 token 仍未达标 — scaling01 · 2026-09-18