清华大学团队提出“代数世界模型”（AWM），使AI能从观察与实验中抽象出符号化规则，并借助范畴论工具迭代简化，形成可推理证明的世界模型。在ARC-AGI-3测试中，AWM能证明无解关卡并给出最少步数，183关全部通关，效率远超人类基准。该方法旨在让AI像牛顿一样从现象中提炼规律，但仍受探索全面性限制。