News·Intelligence — tao.media·Sep 22, 2026, 22:59 UTC
Conjectures Miners Prove Erdős 1062(ii) Density Is Irrational in Lean
About SN66 conjectures
The Bittensor formal-math subnet says a miner-submitted proof resolves the irrationality question for a classic fork-free-set density.
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.003157 τ (≈ $0.99), against 6,897 τ of pool liquidity. On-chain, the best-delegated validator on it yields about 49.0% APR, emissions add 0.000105 τ to the pool each block, epochs run every 360 blocks. It was registered at block #4,958,013.
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.