程序综合与ARC-AGI-3新方案
xiuyu_l · x · 2026-07-17
这条转发围绕一篇关于 program synthesis（程序综合） 的内容展开，转发者认为这是一个很好的实现。
引用内容里提到两个重点：
- 核心思想：latent world representation 不是向量，而是程序。
- 方法方向：正在兴起的做法是动态构建符号化世界模型，被认为可能是应对 ARC v3 / ARC-AGI-3 的更好路径。
同时，被引用的原帖还介绍了一个名为 schema 的 harness：它在 ARC-AGI-3 Public set 上，配合 Opus 4.8 + Fable 5 达到 99% RHAE，配合 GPT-5.6 Sol 达到 95.35%。作者的表述是，这个系统让 LLM “像物理学家一样思考”。
所属事件:Schema harness 引爆 ARC-AGI-3 讨论(14 条相关)→
「研究」频道最新
- HydroGym 登 Nature：60+ 环境训练 AI 控制流体力学 — ricardovinuesa · 2026-09-03
- 让 Agent 活过模型更替：新论文把持久身份与可换组件分离 — omarsar0 · 2026-09-03
- 斯坦福论文：模型选上下文还是参数记忆，方向可干预但难跨任务复用 — niloofar_mire · 2026-09-03
- Meta Muse Spark 55 天连跳三版:照片生成 3D 仿真成本仅 0.6 美元 — alexandr_wang · 2026-09-03
- 开发者曾尝试用 Puzzlescript 构建 AI 基准测试，类似 ARC-AGI-3 — Darpinian · 2026-09-03
- 回应质疑：induction heads 等发现是否算 LLM 算法洞见之辩 — aryaman2020 · 2026-09-03