This is an unusual application of AI, it is not fiction, and it works! It started probably more than 30 years ago. Sometimes referred to as symbolic mathematics, and usually relying on high performance and high precision computing, it aims at automatically solving or computing, with an exact solution (not an approximation) complicated integrals, differential equations or systems of equations (inc…