Mathematicians harness randomness to crack a 55-year-old conjecture