Andrew Lampinen challenges Gary Marcus on what really counts as neurosymbolic AI
AndrewLampinen · x · 2026-07-24
Andrew Lampinen is pressing Gary Marcus on what should count as neurosymbolic reasoning.
- He asks whether a pure autoregressive LM, without a harness or tools, can solve novel math problems at all, or merely do worse than a tool-augmented system.
- He also asks whether a system becomes “neurosymbolic” if the LM writes a program or calls a solver while proving something.
- A further question is whether intelligence partly lives in the classical symbolic part, and whether the same conclusion would hold if a human wrote the helper program.
- He extends the argument to multi-LM harnesses where models answer, review, and vote on each other’s outputs, asking what evidence would settle the issue.
Related event: Gary Marcus and Experts Debate AGI Timelines and Pure LLM Limits(15 posts)→
More from AGI Musings
- Economist Bharat Chandar named Research Director for AI Economics at Stanford Digital Economy Lab — RishiBommasani · 2026-10-27
- Stanford's AI Economic Indicators: four dashboards tracking AI's impact on jobs and growth — RishiBommasani · 2026-10-27
- Aeon's former EVP: AI agents are the most impactful innovation of my lifetime — akumar · 2026-10-27
- Physicists Let AI Pick Its Own Problem—It Wrote a Publishable Paper in 2 Hours — burny_tech · 2026-10-27
- Deep learning veteran warns: don't let entrenched disbelief derail prep for the next big tech — jachiam0 · 2026-10-27
- Should platforms serve third-party AI agents? The antitrust question — sjgadler · 2026-10-27