RecodeX 重构消息，清华大学与浙江大学联合团队提出“代数世界模型”，可自动学习ARC-AGI-3游戏的规则，并用Lean 4对规则进行形式化验证。基于该模型，团队证明ARC-AGI-3全部六个封闭关卡均无法通关，而前沿大模型在这些关卡上均未能成功。