近日，清华大学姚期智与袁洋团队重磅发布“代数世界模型”（AWM），旨在让AI像牛顿一样思考。针对现有大模型仅记录现象、易生“幻觉”的痛点，AWM将环境抽象为代数世界，通过探索、凝炼、证明三步，借助范畴论等数学工具将规律形式化。在ARC-AGI-3测试中，AWM不仅精准识破无解关卡，更以99.9%得分及仅人类43%的动作数高效通关，效率居已知系统之首。值得一提的是，论文两位共一作者均为本科生。该研究为AI从试错走向严谨推理提供了新范式，标志着AI向理解世界本质迈出关键一步。