τTaosis

News·Intelligence — tao.media·Sep 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.004753 τ (≈ $1.10), against 8,461 τ of pool liquidity. On-chain, the best-delegated validator on it yields about 37.4% APR, emissions add 0.000272 τ to the pool each block, epochs run every 360 blocks. It was registered at block #4,958,013.

Chart, holders, conviction and every figure →

More from SN66 conjectures

Taosis indexes announcements, articles 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.