当验证失败时：组合不可行的主张如何逃避拒绝

科学主张验证旨在判断主张是否由证据蕴含，通常基于封闭世界假设。本文指出现有基准无法区分严谨验证与仅检查显著约束的捷径策略。为此，作者构建了组合不可行主张（显著约束支持但非显著约束矛盾），发现现有模型普遍过度接受此类主张，暴露了组合推理瓶颈。研究表明，不同模型的差异主要源于验证阈值而非推理能力，且该瓶颈是当前验证行为的结构性特征，难以仅通过策略引导克服。