OpenAI math results reignite neurosymbolic debate: Gary Marcus feels vindicated
AndrewLampinen · x · 2026-10-07
Gary Marcus commented on OpenAI's new math results, saying he feels vindicated: the system uses symbolic AI (e.g. Lean) alongside LLMs for verification—exactly the neurosymbolic approach he has advocated for years. However, he cautions it still isn't AGI, since symbolic verification and data augmentation don't generalize to the open-ended real world. Stanford researcher Andrew Lampinsen pushed back, arguing that neural networks using external symbol systems as tools is simply a fulfillment of connectionist ideas from the PDP books, not a symbolic-AI victory.
More from AGI Musings
- A Decade of Growth in a Year: GTM and Compute-Finance Talent at Scaling Labs Will Be the Next Scarcity — saranormous · 2026-10-08
- Dostoevsky saw it in 1864: show humans a prediction and they'll break it — billhilf · 2026-10-08
- With Math Delegated to OpenAI, Economics Research Faces a Reshuffle — soumitrashukla9 · 2026-10-08
- Higgsfield cofounder: SWE demand will collapse by end of 2027 — SimplyAnnisa · 2026-10-08
- AI ethics scholar: frontier leaders 'won't slow down until they feel like God' — LuizaJarovsky · 2026-10-08
- Yudkowsky as the Marx of our generation: an 'AI safety welfare state' thought experiment — teortaxesTex · 2026-10-08