Conjectures (SN66) pays anyone to solve decades-old math problems, turning open conjectures into machine-verified proofs and counterexamples for on-chain rewards. […]