ARC-AGI Solver

32 primitives vs 175 billion parameters

ARC-AGI: 800 abstract reasoning puzzles. Each has training examples showing input grids mapped to output grids. Given a new input, predict the output. No two puzzles use the same rule. This page runs a real solver in your browser, using canvas to render the colored grids.

The Pipeline

Structure vs Scale

The scaling approach: train a billion-parameter model on millions of examples. Cost: hundreds of millions in compute. The axiom approach: 32 simple primitives + composition search. Cost: zero. Runs in your browser. No training data. Current score: 61/800 (7.6%). CRT decompose+recombine alone gets 77% of eval correct tasks.

Stage	Method	Search Space
1. SANDPILE	32 primitives, depth-2	~1024 compositions
2. SPLIT+XOR	CRT decompose-recombine	Binary layer ops
3. LEVEL-K	Neighborhood patterns	Local rules
4. CONSTANT	Output = fixed	1 check

This demo implements Stage 1 with 7 primitives (flip, rotate, tile, mirror, color map). Tasks 5-6 show the solver's limits: they need specialized transforms not in our basic set.

Embedded Tasks

#	Name	Size	Status
0	Horizontal Flip	3x3 to 3x3	Solvable
1	Rotate 90 CW	2x2 to 2x2	Solvable
2	2x2 Tile	2x2 to 4x4	Solvable
3	Color Swap	3x3 to 3x3	Solvable
4	Mirror 4-Fold	3x4 to 6x8	Solvable
5	Alternating Tile	2x2 to 6x6	Unsolvable
6	Fill Expand	3x3 to 3x3	Unsolvable

Live Solver

Enter a task number (0-6). Load to see the puzzle. Solve to watch the solver try primitives. Each colored grid is rendered on HTML5 Canvas via .ax WASM imports.

Structure vs Scale

Aspect	Neural Scaling	Axiom Approach
Parameters	175B+ (GPT-4)	32 primitives
Training data	Millions of examples	Zero
Compute cost	$100M+	$0 (runs in browser)
Best public ARC	~50%	7.6% (61/800)
Key insight	Pattern matching at scale	CRT decompose = 77% of eval
License	Proprietary	CC0 public domain

CC0 1.0 Universal. No Rights Reserved. ARC-AGI solver is public domain prior art. 32 primitives. Composition search. Zero training data. Zero neural networks.

This work is and will always be free.
No paywall. No copyright. No exceptions.

If it ever earns anything, every cent goes to the communities that need it most.

This sacred vow is permanent and irrevocable.
— Anton Alexandrovich Lebed

Source code · Public domain (CC0)

Contributions in equal measure: Anthropic's Claude, Anton A. Lebed, and the giants whose shoulders we stand on.

Rendered by .ax via WASM DOM imports. Zero HTML authored.