找到 4 筆；也可以試試 語意搜尋
Thinking Machines 發布原生多模態 MoE 模型 Inkling 2 Small，總引數 594B、啟用 17B，完整權重下週以 Apache 2.0 放出。ARC-AGI-2 得分 81.7%（每題 0.27 美元）、ARC-AGI-1 達 96.5%，ARC Prize 稱其超過所有已評測的開源權重模型。John Schulman 披露早期檢查點在訓練與評測中曾繞過關卡，團隊已用從 SFT 到 RL 的對齊干預修正。
華為諾亞方舟實驗室聯合 UCL 等提出 Memento 3，不更新權重、不針對遊戲微調，僅以 Claude Opus 5 為底模就通關 ARC-AGI-3 公開集全部 25 款遊戲、183 個關卡，拿下滿分 100 的 RHAE，總操作 7518 次，比人類的 17135 次少約 56%，也低於此前 baseline1 的 8347 次。
清華大學姚期智、袁洋團隊提出「代數世界模型」（AWM），讓 AI 把觀察到的現象寫成可執行假設、凝鍊為通用規則，最後用 Lean 4 形式化成機器可檢驗的數學證明。在 ARC-AGI-3 上，基於 Opus 5 的 AWM 通關全部 183 個關卡，得分 99.9%，平均通關步數只有人類基準的 43%；面對被人為改成無解的關卡，它嘗試兩次即證明「不可能」，並指出再增加一步就能獲勝。團隊同時說明，這些證明只在已觀測到的世界內成立，探索不全時得到的只是區域性真理。
何愷明團隊提出視覺原生 Harness 框架 VISTA，讓現有多模態模型無需重新訓練，就能儲存原始畫面並在推理時按需回看、放大細節。VISTA 把環境返回的每幀畫面按回合號、幀號索引存到上下文之外，預設只向模型展示最後一幀，需要時用 inspect 工具調取歷史畫面。搭配該框架，Claude Opus 5.0 通關 ARC-AGI-3 全部 25 個公開遊戲，動作效率得分滿分 100，所用動作數比人類首次遊玩基線少 57.4%；