幻觉证明

大语言模型在数学推理中产生的特有失败模式，指模型生成的证明步骤表面符合数学语言格式、逻辑链条看似连贯，但实际包含未经证明的假设或循环论证等逻辑错误