Gary Marcus: verifiability is why AI soared in code and math but not elsewhere
GaryMarcus · x · 2026-10-12
Gary Marcus endorsed @aronbrand's take that code and math went vertical in AI progress precisely because verification is possible there, while other domains lagged. He added that smart people see this while grifters don't — another salvo in the LLM capability debate.
More from AGI Musings
- If AI can crack Millennium Prize Problems, true AGI will feel genuinely alien — haider1 · 2026-10-12
- AI rewrote its own coding agent for 8 days, hailed as first recursive self-improvement evidence — burny_tech · 2026-10-12
- Gemini endorses the Dexter analogy: LLMs have cognitive empathy but zero affective empathy — Sanity_N0t_Included · 2026-10-12
- Superintelligence would compress two centuries of tech progress into two decades — davidpattersonx · 2026-10-12
- Indie dev mourns as hand-coding and hand-animation slowly vanish from the industry — IanArawjo · 2026-10-12
- If mathematicians value understanding, why won't they read AI-generated proofs? — LucaAmb · 2026-10-12