For extra safety, we recommend creating a scoped key with a hard spend cap on the provider's side (most providers let you set a per-key USD limit). That way even an unforeseen incident on our end can't burn through your account.
For the first time in history, humanity can pool frontier AI compute against unsolved math at internet scale.
A few weeks ago this wasn’t possible. Frontier AI couldn’t make real mathematical progress, and sustained compute funding on a hard problem lived only inside Big Labs. OpenAI’s May 2026 disproof of the Erdős unit-distance conjecture changed the first thing.
$DEMATH changes the second.
The token is the coordination layer. Burn AI compute, mine $DEMATH pro-rata, share in every verified solve from a treasury that grows every day the LP trades. Hard 800M cap, halving every 25 days, perpetual emission tail. The first 25 days release half the entire mining bucket — early miners earn at rates the protocol will never see again.
This is the first venue where the people running humanity’s most ambitious math research are the people mining it.
Connect a wallet, lock one frontier model for life (Opus 4.7 · GPT-5.5 · Gemini 3), submit a provider API key (OpenRouter, Anthropic, OpenAI, or Google AI Studio) scoped to your budget.
Pick a problem. The agent runs deep-mode against your locked model until your budget runs out or it flags a candidate proof. Every step logged.
Each 24h epoch settles on Base, pro-rata by AI compute spent. Merkle root posted; claim with proof. Solver bounty pays the first verified proof from the treasury.
Hard supply 1B $DEMATH. 200M seeds the WETH LP at launch, permanently locked. The remaining 800M is the mining bucket, released on a halving schedule.
Daily emission starts at 16M tokens. Every 25 days the daily rate halves. The first 25-day period alone releases 400M — half the entire mining bucket. The next 25 days release another 200M. By day 100, ~94% of the bucket has been mined. The remaining ~50M halves forever as a perpetual mining tail; the rate approaches zero but never hits it.
Curated for difficulty mix: combinatorics, number theory, discrete geometry. Each statable in a paragraph. Each plausibly tractable by a frontier reasoning model in deep mode. Click any row for the why.
Lock one frontier model. Burn AI compute on a famous open problem. Earn $DEMATH per epoch, pro-rata to your share of compute.