16:02
清华姚期智团队新作:代数世界模型,让AI像牛顿一样思考

AI只会试错?清华姚期智团队发布代数世界模型(AWM),让AI像牛顿一样从现象中提炼数学定律。该框架将探索规则抽象为Lean 4形式化证明,在ARC-AGI-3测试中183关全部通关,动作效率仅为人类基准的43%,更能精准判定任务不可解性。当顶级模型仍在靠直觉猜答案时,AWM已实现从观测到逻辑证明的认知跃迁。
🔗 [工具链接]:https://ephemeral6.github.io/awm-site/
🔗 [论文地址]:http://arxiv.org/abs/2610.40503

