I just filled the survey in without ticking ML/AI, and now this turns up: https://ai.facebook.com/blog/using-neural-networks-to-solve-advanced-mathematics-equations/ 😮

There's discussion of the paper on the Sympy mailing list https://groups.google.com/forum/#!topic/sympy/KMRXrdLiHPg

I'm using some of the techniques they use in this paper to create a problem-representing neural network instead of a problem-solving neural network. Can't wait to share results here (might take a while though 😅)