Math+CS guru? Prove this conjecture · HackerTrans