开放式推理方法分析：不靠形式化验证，以苏格拉底式追问持续压过模型

文章认为，在缺乏形式化验证手段的开放式推理任务中，苏格拉底式方法仍是最能持续胜过模型的路径。通过不断提问与澄清，促使模型自行推导结论，或使其推理崩溃并暴露无知。