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.002304 τ (≈ $0.51), against 5,917 τ of pool liquidity. On-chain, the best-delegated validator on it yields about 37.16% APR (simple) and 45.01% APY (compounded), emissions add 0.000033 τ to the pool each block, epochs run every 360 blocks. It was registered at block #4,958,013.
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
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.