Generative Modeling for Mathematical Discovery