Gary Marcus: neurosymbolic AI has won — a model is an engine, not the whole car

GaryMarcus · x · 2026-11-16

In a long-form post, Gary Marcus argues you can't understand modern AI without distinguishing models from systems: any system combining neural networks with symbols is neurosymbolic by definition. He cites Lean-checked math and Claude Code as systems relying on rules, code interpreters, and loops — classical symbolic constructs — and says Hinton's dismissals of symbols as "aether" were wrong. His conclusion: neurosymbolic AI has won overwhelmingly; scaling alone was never enough.

Related event: Gary Marcus Sparks Debate: LLMs With Tools Are Neurosymbolic AI(9 posts)→

Original post →

More from AGI Musings

AGI Musings channel →