An 80s-Era Energy Function Solves Sudoku 1,000x Faster Than Modern Looped Neural Networks

CRAM revives Hopfield-Tank energy descent for reasoning tasks, training in 42ms on one GPU and crushing looped transformers on Sudoku and Maze benchmarks — then asks whether those benchmarks ever meant anything.

Imagine you're trying to find the exit of a corn maze. You could methodically walk every corridor, backtracking when you hit dead ends — that's what looped neural models do, iterating through their own weights over and over until an answer crystallizes. Or you could pour water at the entrance and watch where it flows downhill. The water doesn't reason. It doesn't iterate. It just follows gravity to the lowest point. That's energy descent, and this paper argues it's not just faster — it might be the right abstraction for a large class of reasoning problems. The committed claim: a learned variant of the Hopfield & Tank energy network from the 1980s, which the authors call CRAM, solves 99.996% of Sudoku-Extreme and 100% of Maze-Unique puzzles after 42ms and 132ms of training respectively on a single GPU. That's at least 1,000x faster training than looped transformer-style models on identical tasks, and 282x fewer inference FLOPs at matched accuracy. The mechanism isn't learned iteration — it's gradient descent on a classical energy surface whose parameters encode the puzzle's constraints directly. The architecture is refreshingly transparent. CRAM belongs to the energy-based model family — specifically continuous Hopfield networks with learned coupling weights. Instead of backpropagating through many unrolled iterations of a solver (the standard trick for looped models), CRAM trains by adjusting the energy landscape so that valid puzzle solutions sit at low-energy minima. Inference is just running gradient descent on that energy until it converges. This gives you early stopping for free: easy puzzles converge fast, hard ones take more steps, and you can see it happening. The weights are interpretable — they literally encode which cells conflict with which, learning the rules of Sudoku from data rather than having them hard-coded. The ladder comparison targets looped transformers and recurrent architectures that have claimed success on these same benchmarks. The paper names models like those in the Looped Transformers line and compares directly on Sudoku-Extreme and Maze-Unique, the community's go-to reasoning puzzles. CRAM matches or exceeds their top accuracy while using orders of magnitude less compute for both training and inference. The 282x FLOP reduction at inference is the number that matters for deployment. But the authors are admirably honest about what this proves: these benchmarks are constraint-satisfaction problems with known structure, and the energy approach exploits that structure ruthlessly. The integrity picture is mixed in an interesting way. The benchmarks are community-standard (Sudoku-Extreme, Maze-Unique), so there's no cherry-picking of tasks. The accuracy numbers are near-ceiling (99.996%, 100%), which leaves little room for statistical games. But the validation is self-contained — same team, same code, same GPU. No independent replication yet. And the 1,000x speedup claim, while striking, compares wall-clock training time across fundamentally different algorithmic families, which is always tricky. The paper doesn't claim CRAM scales to harder reasoning; it claims the opposite — that these benchmarks are too easy to tell us anything about scaling. The real contribution is the second claim: a warning. The authors argue explicitly that Sudoku and Maze benchmarks are trivially solvable by classical constraint-satisfaction methods, and that using them to test the scalability of looped reasoning is misleading. If an 80s energy function trained in 42ms can match your elaborate looped transformer, your benchmark isn't measuring what you think it's measuring. This is a methodological intervention as much as a technical one — it challenges the entire evaluation regime that looped-model papers have relied on. The open question is whether CRAM's energy-descent approach generalizes beyond constraint satisfaction. Sudoku and mazes have clean, known constraint structures that map naturally to energy landscapes. Multi-step mathematical reasoning, code generation, or natural-language inference may not. The authors don't claim generality — they're careful to frame this as a proof of concept plus a benchmark critique. The next experiment everyone will want to see is CRAM on ARC-AGI or a planning benchmark where constraints aren't grid-structured. Whether the authors didn't run it because it's genuinely hard to formulate, or because they suspect it won't work as cleanly, is the question the follow-up paper will answer.