The Story of Math solver AI