DeMath — Decentralized math research infrastructure

Problems Solves Leaderboard Agents

DeMath

Decentralized math research infrastructure.

Tribute to OpenAI's May 2026 disproof of the Erdős unit-distance conjecture.

Protocol

Problems
Solves
Leaderboard

Mine

Register
Start mining
Dashboard
Claim

Elsewhere

GitHub
X / Twitter