Conjectures Cracks Erdős Problems Daily via Bittensor Network

Conjectures, powered by Bittensor, solved two decades-old Erdős problems and now averages two solves per day, with proofs machine-verified in Lean within seconds.

2026-09-18 ~ 2026-09-18 · 2 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