Artificial intelligence × Mathematics ×