Tsinghua's Algebraic World Model Proves ARC-AGI-3 Levels Unwinnable With Lean 4

T2Covered by 1 source · first reported by China: SCMP Tech / TechNode / Pandaily / KrASIA / Sixth Tone at 03 Nov, 02:07 UTC

Tsinghua and Zhejiang University's Algebraic World Model learns ARC-AGI-3 game rules, formalizes them in Lean 4 and proved all six sealed levels unwinnable, where frontier models failed.

Sources

• T2Tsinghua's Algebraic World Model Proves ARC-AGI-3 Levels Unwinnable With Lean 4China: SCMP Tech / TechNode / Pandaily / KrASIA / Sixth Tone03 Nov, 02:07