Benötigen Coding Agents ausführbare World Models, Vereinfachung und Verifikation um ARC-AGI-3 zu lösen?

Unser bisheriger ARC-AGI-3 Agent kombinierte ausführbare World Modeling, geplante Vereinfachung und genaue Replay-Verifikation, wobei unklar war, welche Idee die Leistung ausmachte. Wir adressieren diese Zuordnungsfrage mit vier verschachtelten Codex-basierten Agents