Bittensor subnet
conjectures
Prize rewards for proving famous unsolved math problems, open to anyone with a checked proof.
LiveScience
τ
ض
Can I use it today?
Open conjectures ↗Yes, you can use it today.
Web app. Needs TAO or crypto.
TAO in its pool6.7K#65 of 128 subnets
Share of new TAOUnder 0.1%Next to nothing right now
Its tokenض0.0029 TAO each
In this slot sinceFeb 2025601 days running
What you can do with it
- Browse open math conjectures written as exact Lean statements
- Submit a Lean proof or counterexample for a flat fee
- Win rewards paid out after a human reviews the solve
Things to know
Fees go by hand-confirmed treasury transfer for now; card and USDC payment are planned.
TAO in its pool, month by month
Guides that recommend it
Similar subnets
SN89InfiniteQuantTrading signal contest and short-term price betting on crypto, gold, oil and stocks.SN63EnigmaFunded prize challenges for hard problems in cryptography, quantum computing and AI.SN8VantaTake a paid trading challenge; pass it and earn weekly rewards trading a simulated funded account.SN111ClaimsPulls the key findings out of scientific papers and links each one to its supporting evidence.
Sources
Checked October 13, 2026. Pool and emission numbers read from the chain October 13, 2026.