本研究探讨音乐生成模型是否编码西方音乐理论。通过SynTheory数据集，提出框架检验模型对音乐理论概念的编码能力，发现模型大小和层次影响可检测性。这一发现推动音乐生成技术在理论理解和应用方面的进步。