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.

13 challenges live2765 players40417 submissions

Featured

RSI Simulatorsimulation256 players · 645 runs

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

Trading

Simple AMMsolidity710 players · 6242 runs

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

Language

Persuasiontext450 players · 14083 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.

Prop AMMrust170 players · 1869 runs

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

Prediction Marketpython177 players · 1784 runs

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

Negotiationtext185 players · 3515 runs

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

Anthropic Take-Home Challengepython624 players · 8782 runs

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

Dogfightonnx28 players · 785 runs

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

Chessonnx7 players · 59 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 Correctionpython22 players · 956 runs

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

Shape Packingjson42 players · 268 runs

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

17 players · 942 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.