https://www.quantamagazine.org/symbolic-mathematics-finally-yields-to-neural-networks-20200520/
artificial intelligence
Symbolic Mathematics Finally Yields to Neural Networks
After translating some of math’s complicated equations, researchers have created an AI system that they hope will answer even bigger questions.
by Stephen Ornes
May 20, 2020
“However, neural networks have always lagged in one conspicuous area: solving difficult symbolic math problems…. The hurdles arise from the nature of mathematics itself, which demands precise solutions. Neural nets instead tend to excel at probability…. The situation changed late last year when… a pair of computer scientists… unveiled a successful first approach to solving symbolic math problems with neural networks.”