Self-Play Conjection Generalization generate prune a lot sample the values of conjectures based on the closest “unsolved” parts