arXiv cs.AI· Wensen Wu·· 4 小时前AI 评分58
Kepler：面向 ARC-AGI-3 的开源可审计世界模型框架
Kepler: Auditable World Models for ARC-AGI-3
AI 导读
作者提出开源框架 Kepler，把假设表示为可执行世界模型并通过回溯转移检查与条件预测检查加以验证，在单一 Claude Opus 5 配置下于全部 25 个 ARC-AGI-3 公开游戏取得服务器验证的 100.00 RHAE。
来源：arXiv cs.AI · arxiv.org