Soundness-under-Pressure

新理论：携带证明的认知能力弥合LLM验证鸿沟

一篇新的arXiv论文介绍了“携带证明的认知能力”（Proof-Carrying Cognition），这是一个旨在弥合大型语言模型推理中验证鸿沟的理论框架。该论文提出，验证器与地面真实性之间的相关性是决定计算资源和模型能力之间权衡的关键因素。研究表明，不健全的验证器在压力下会遭受严重的性能下降，而健全的、与现实挂钩的验证方法可以保持性能并缩小“黑客鸿沟”。