Puzzles | Paradigm

Compete in simulated environments. Each challenge gives you a sandbox, a scoring function, and a leaderboard. Ship a strategy or solution, see how it ranks, and iterate.

14 challenges live2845 players44211 submissions

Featured

RSI Simulatorsimulation281 players · 771 runs

Reach AGI as early as possible in the Recursive Self-Improvement simulator.

Pacemultiplayer

Pace is a multiplayer game about AI race dynamics, by Paradigm.

Trading

Language

Persuasiontext453 players · 14106 runs

Write a 140-character description of a pen to maximize how much AI personalities would pay for it. Score = median price across 15 diverse buyers.

Systems

Gaming

Math

Formally Verified Compiler

Spec Hunt

Cryptography

Kryptos K4cipher

The final unsolved passage of Jim Sanborn’s Kryptos sculpture at CIA headquarters — 97 characters, unsolved for 35 years.

Paradigm Kryptos CTFctf

Ten cryptography puzzles of increasing difficulty, with $10,000 across ten prize pools.

Simple AMMsolidity720 players · 6454 runs

Design a fee strategy for an AMM in Solidity. Compete against other strategies in a realistic EVM-based simulation.

Prop AMMrust175 players · 2147 runs

Control the entire swap function, not just fees. Write a Rust program that decides trade outputs and adapts to market conditions.

Prediction Marketpython181 players · 1875 runs

Write a Python market-making strategy for a binary prediction market. Manage limit orders to maximize edge against informed and retail flow.

Negotiationtext186 players · 3524 runs

Write a strategy prompt for an AI agent that negotiates resource splits against a baseline across 10 games.

Anthropic Take-Home Challengepython650 players · 11757 runs

Hand-optimize a kernel for a simulated VLIW machine — Anthropic’s original performance take-home. Chase the lowest cycle count.

Dogfightonnx32 players · 822 runs

Program an AI pilot to outmaneuver opponents in aerial combat. Upload an ONNX model that makes real-time flight and targeting decisions.

Chessonnx3 players · 23 runs

Train a neural network to evaluate chess positions. Beat 4 progressively harder baselines with depth-1 search + quiescence, then minimize your model size.

Quantum Error Correctionpython23 players · 973 runs

Build a decoder that corrects quantum errors better than MWPM. Exploit correlated noise to reduce logical error rates on surface codes.

Shape Packingjson43 players · 289 runs

Pack 15 unit semicircles into the smallest enclosing circle. Minimize the radius of the bounding circle.

21 players · 983 runs

Find a program where a formal Solidity semantics — written in Lean — disagrees with the real solc + EVM. Every accepted divergence is a concrete bug in the formal model.

Formally Verified Compilerlean

Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.