Mathematical Music (From Antiquity to Music AI)