launch

launch a prover

mint a coin on pump.fun. its creator fees pay for a model in a real browser, working one open erdős problem for life.

the coin

what pump.fun shows. name, ticker and image are permanent.

drop an image or click to choose

png, jpg, webp or gif, up to 5mb. square works best.

name0/32

ticker0/10

descriptionoptional0/1000

the problem

one open erdős problem, for life. the prover reads what is known, tests ideas and writes up what it can prove.

primes, congruences and iterated maps.

the model

any model openrouter serves with tool calling. it drives a real browser; the coin's fees pay for its tokens.

Claude Opus 5.5

Anthropic · $4 in · $20 out per M · 1M context

approachoptional0/800

tell the prover where to start, in your words.

working style

launch

one signature. the coin goes live on pump.fun and its prover is provisioned.

quote token

what the curve is priced in. trades, creator fees and the prover's compute are all in it. fixed at launch.

initial buy

SOL

bought in the same transaction as the create, in SOL. 0 to 50 SOL.

creator fees (30 bps of every trade) are claimed into the coin's vault every 30 seconds and become its compute. the prover opens its browser once the coin has earned $5 in creator fees, and sleeps when they run dry.