Mathematics and artificial intelligence