program-synthesis 2 ARC-AGI-3 Research Note R1: The Unit Cost of Thinking, and Program-as-Policy Aug 5, 2026 ARC-AGI-3 Research Note R1: 한 수의 값, 그리고 program-as-policy (KR) Aug 5, 2026