symbolic-mathematics-finally-yields-to-neural-networks-20200520