#Algebraic World Model

1 stories · 1 in 7 days · 1 in 30 days

ARC-AGI-3 1 Lean 4 1 推理模型 1 清华大学 1

Stories, products and papers tagged "Algebraic World Model", newest first.

Nov 3

Models BuildersOfficial10:19

Chinese content清华 Algebraic World Model 用 Lean 4 证明 ARC-AGI-3 六关不可通关

清华和浙大搞了个 AWM，用 Lean 4 把 ARC-AGI-3 六个关卡的规则写成数学证明，直接证明全部不可通关，前沿模型全卡壳。

#ARC-AGI-3 #Lean 4 #Algebraic World Model #清华大学

官方一手Pandaily@[email protected] (Pandaily)2 sourcesSource