本研究探讨了可解释人工智能（AI）的最新进展，重点关注提升AI算法透明度的伦理因素和技术手段。可解释性与自主系统元推理之间存在紧密联系，这将推动未来可解释AI系统的发展。

本研究提出了一种新颖的持久工作流程提示（PWP）方法，旨在解决大语言模型在科学手稿评审中的数据限制和专家推理复杂性问题。该方法通过系统化的元提示和元推理，显著提升了评审过程的透明度和有效性。

本研究提出了TECTON系统，通过元推理增强大型语言模型在工具使用方面的能力，显著提升了数学推理任务的性能和泛化能力。

本文重新定义了认识规范的形式化方法，并提出了多种语义，其中一种等同于原定义的Gelfond语义。从推理能力的角度分析了其复杂度，并证明了这个方法在需要元推理的问题中的有效性。