#artificial intelligence in mathematics