Facebook AI has developed the first neural network that uses symbolic reasoning to solve advanced mathematics problems.