conjectures

About conjectures

Conjectures.io is a Bittensor subnet that incentivizes the resolution of longstanding open mathematical conjectures by offering bounties for computer-verifiable proofs or counterexamples. The platform publishes unsolved problems as precise Lean statements, allowing anyone—human or AI—to submit a proof or counterexample, which is then checked automatically by the Lean kernel for validity. Submissions are paid per attempt, with rewards granted for the first valid solution. The system ensures transparency and fairness by using immutable task definitions, automated verification, and a manual review step to prevent gaming or plagiarism. This approach aims to advance mathematical knowledge while demonstrating the utility of decentralized, result-driven networks.