arXiv:2502.11251v1 通告类型: 新 摘要：知道真相通常还不够——我们还寻求寻找该事实为什么为真的理由。尽管我们对解释偶然真相的方法有很多了解，但我们对解释那些作为逻辑必然性的真理的事实了解得较少。我们提出了一种基于计算复杂性的框架，在搜索过程中，解释演绎真理与简化步骤的发现同时出现。当这种结构缺失时，我们转向基于错误的理由，其中一次（修正后的）错误可以作为虚构的但具有解释性的偶然原因：不犯错误成为一种理由，说明真理为何具有这种形式。我们使用GPT-4o模拟了人类受试者，让他们解决不同复杂性和合理性的SAT谜题，验证了我们的理论，并展示了在未来的人类研究中如何测试其预测。