Title: Artificial intelligence and symbolic mathematical computing