Gary Marcus: GPT-6 Astra's ARC-AGI-3 success backs symbolic world model hypothesis

GaryMarcus · x · 2026-09-04

Gary Marcus cites ARC Prize's analysis as strong evidence for his long-held hypothesis that symbolic world models are critical: GPT-6 Astra succeeded on ARC-AGI-3 by building dense, compact symbolic world models.

In environment s5i5, Astra recorded level state, hub orientation and mechanism lengths, mapped operations to exact control coordinates, and wrote ordered plans — using on-the-fly algebraic shorthand to preserve the state that mattered and execute precise multi-step plans across turns.

Related event: GPT-6 Astra Reportedly Saturates ARC-AGI-3 with Fewer Steps Than Humans(5 posts)→

Original post →

More from Models

Models channel →