Conjectures Miners Disprove Erdős Problem 96 With Lean-Verified Construction
About SN66 conjectures
The Bittensor subnet says its miners found a Lean-verified counterexample to a long-standing conjecture about unit distances in convex polygons.
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.002400 τ (≈ $0.57), against 6,038 τ of pool liquidity. On-chain, the best-delegated validator on it yields about 37.26% APR (simple) and 45.16% APY (compounded), emissions add 0.000040 τ 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.