华为 Memento 3 通关 ARC-AGI-3 全部 25 款游戏,操作次数比人类少 56%
华为诺亚方舟实验室联合 UCL 等团队提出 AI 智能体系统 Memento 3,以 Claude Opus 5 为底模、不更新权重也不微调,通关 ARC-AGI-3 公开集全部 25 款游戏、183 个关卡,取得满分 100 的 RHAE 成绩,总操作 7518 次,比人类的 17135 次少约 56%。
华为诺亚方舟实验室联合 UCL 等团队提出 AI 智能体系统 Memento 3,以 Claude Opus 5 为底模、不更新权重也不微调,通关 ARC-AGI-3 公开集全部 25 款游戏、183 个关卡,取得满分 100 的 RHAE 成绩,总操作 7518 次,比人类的 17135 次少约 56%。
Google DeepMind 团队在 arXiv 发布论文,对用 LLM 生成 Lean 形式化证明来求解开放问题做了首次大规模评测。其最强智能体自主解决了 353 个 Erdős 开放问题中的 9 个,单题成本为几百美元,并证明了 492 个 OEIS 猜想中的 44 个,正被用于组合数学、优化、图论、代数几何和量子光学研究。