τTaosisTaoScale
NewsPressSep 17, 2026, 17:14 UTC

Conjectures Miners Solve Two More Erdős Problems With Lean-Verified Proofs

About SN66 conjectures

Miners settled Problems 108 and 653 days after announcing a separate Erdős Problem 96 result.

Read the article at Intelligence — tao.media ↗

SN66 conjectures at a glance

SN66, conjectures (α token ض), is one of the independent markets on the Bittensor network, each with its own α token and its own price. Its α currently trades at 0.002408 τ (≈ $0.56), against 6,048 τ of pool liquidity. On-chain, the best-delegated validator on it yields about 36.91% APR (simple) and 44.64% APY (compounded), emissions add 0.000045 τ to the pool each block, epochs run every 360 blocks. It was registered at block #4,958,013.

Chart, holders, conviction and every figure →

Taosis newsletters

Taosis News: the week’s articles from the subnet teams, the press and community newsletters, every Friday. Taosis Weekly: the week’s movers, best yields and chain events, with dollar values, every Monday. Past issues

Newsletters

Your address is used only to send the newsletters you tick, with your consent (double opt-in). Unsubscribe anytime · Privacy

More from SN66 conjectures

Taosis indexes announcements, articles, posts and releases about Bittensor subnets from their own channels and keeps a record of each. The text above is the source’s; the figures are read from the chain by Taosis.

Conjectures Miners Solve Two More Erdős Problems With Lean-Verified Proofs · SN66