易补全难选择:ProverbIT 基准揭示大语言模型谚语理解局限 | AILore Sift