程序综合与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 条相关)→
「研究」频道最新
- Reddit 用户倡议建开源视频剪辑数据集,破解 LoRA 易崩问题 — Emergency-Shake4529 · 2026-10-18
- 新基准瞄准商业 Deep Research:联网检索+内部工具调用缺评测 — burkov · 2026-10-18
- DFB 激光器耦合薄膜铌酸锂芯片：最高 170mW、阈值仅 40-45mA — jwt0625 · 2026-10-18
- 百年难题告破:5 页证明「无 Siegel 零点」,新证明正涌来 — Singularitarian · 2026-10-18
- 用 Opus 数小时设计出约 3.1 万美元开源低场 MRI 头部扫描仪 — DreamFly_13 · 2026-10-18
- 博士在自家棚屋建 Class 100 洁净室，开源家庭造芯片全流程指南 — jwt0625 · 2026-10-18