artificial intelligence in mathematics