Bittensor Subnet Solves Six Decades-Old Open Math Problems in Ten Days

Conjectures.io's Bittensor subnet SN66 uses bounty incentives and Lean machine verification to have AI provers solve open problems, clearing six decades-old problems including Erdős questions within ten days.

2026-09-18 ~ 2026-09-19 · 4 related posts

• Conjectures claims two Erdős problem solutions per day via Bittensor, including a 55-year-old open question — markjeffrey · 2026-09-18
• Bittensor subnet pays for Lean-verified math proofs as two decades-old conjectures fall in a week — markjeffrey · 2026-09-18
• AI provers on a Bittensor subnet close six decades-old Erdős problems in ten days — markjeffrey · 2026-09-19
• Bittensor subnet SN66 miners close six open math problems totaling 249 unsolved years in ten days — markjeffrey · 2026-09-19