Gary Marcus：可验证性是代码数学突飞猛进、其余领域停滞的原因
GaryMarcus · x · 2026-10-12
Gary Marcus 引用 @aronbrand 的观点并表态认同：代码和数学领域 AI 进展垂直起飞、其他领域没有，正是因为这两个领域存在客观的验证机制——聪明人看得清这一点，而「骗徒们」装作看不见。这是对 LLM 能力边界争议的又一表态。
「漫话AGI」频道最新
- AI 若能解千禧年大奖难题，AGI 将真正超越人类直觉 — haider1 · 2026-10-12
- AI 连续 8 天重写自己的编码 Agent,被称递归自我改进首证 — burny_tech · 2026-10-12
- Gemini 认同 Dexter 类比：LLM 是只有认知共情、毫无情感共情的存在 — Sanity_N0t_Included · 2026-10-12
- 从业者观点:超智能会将两个世纪的技术进步压缩到二十年 — davidpattersonx · 2026-10-12
- 从业 30 年开发者感伤：亲手编程与作画正从行业消失 — IanArawjo · 2026-10-12
- 既然强调要理解数学结果,为何不愿读 AI 给出的证明? — LucaAmb · 2026-10-12