Artificial intelligence × Mathematics × Music ×