Gary Marcus 回应质疑：千禧年难题靠的是手工 harness 加 Lean
NinaDSchick · x · 2026-09-09
被问及对 AI 当前能力与前景的看法时，Gary Marcus 回应：他当年的「随机鹦鹉」论针对的是纯 LLM；而此次破解千禧年难题的系统「上面套了一堆手工搭建的 harness，外加 Lean 形式化验证」——暗示成果并不等于纯模型能力的突破，而是工程脚手架的功劳。
所属事件:Gary Marcus：真实能力在 harness 而非模型本身(2 条相关)→
「漫话AGI」频道最新
- 3.5年从加法都算不准到万级Agent系统自主解千禧年难题 — MartinSignoux · 2026-09-09
- Altman 称结果超出预期，安全专家呼吁 OpenAI 给出可验证承诺 — sjgadler · 2026-09-09
- jessi_cata:AI 证明 P=NP 将意味着它有我们不具备的洞察 — jessi_cata · 2026-09-09
- Roko 预测 AI 若解 P vs NP，答案大概率是 P=NP 且算法极丑 — jessi_cata · 2026-09-09
- Roko 赌 AI 率先破解 P vs NP,且答案是 P=NP — RokoMijic · 2026-09-09
- 「我们是唯一以写代码谋生的一代人」引热议 — tlakomy · 2026-09-09