Bittensor subnet SN66 miners close six open math problems totaling 249 unsolved years in ten days
markjeffrey · x · 2026-09-19
Miners on Bittensor subnet SN66, which pays for solutions to open math problems, closed six long-unsolved problems in ten days since Sept 9: Erdős Problems 96, 108, 196, 14, 653 and Green's Problem 51 — 249 combined unsolved years. Every proof was machine-checked in Lean, published with code and independently rerunnable. Boosters call it a glimpse of an open-weights, open-audit public ledger solving intractable problems.
Related event: Bittensor Subnet Solves Six Decades-Old Open Math Problems in Ten Days(4 posts)→
More from Venture
- Jev rebuilds internal links across 586 pages in 45s for $0.21 — 190x cheaper than Opus — TheMoonMidas · 2026-09-19
- Anthropic Shifts Planned IPO to November, WSJ Reports — Stabile_Feldmaus · 2026-09-19
- UP.Labs rebrands as Vantora, raises $100M to go all-in on physical AI — TechCrunch AI · 2026-09-19
- Muse Opens Connector Platform: Developers Plug In APIs to Reach Agent Users — jffwng · 2026-09-19
- OpenAI Reportedly Expects to Burn $280 Billion in Cash by 2030 — Polymarket · 2026-09-19
- Micron and the AI memory cycle: HBM heads to $100B by 2027, 5-year deals reshape the trade — Beth_Kindig · 2026-09-19