面向数学推理的可视化思维操作系统及数学推理方法

本发明提供一种面向数学推理的可视化思维操作系统及数学推理方法，通过将数学问题描述文本及其匹配的知识文本输入至大语言模型，得到其输出的多条推理链；进而基于多条推理链，确定每条推理链中与其他推理链中推理步骤相一致的重叠步骤，基于重叠步骤确定候选关键步骤，并对候选关键步骤进行验证，确定通过验证的候选关键步骤为关键步骤，随之基于关键步骤中的关键词检索数学知识库，得到关键步骤匹配的知识文本，并将数学问题描述文本、关键步骤及其匹配的知识文本输入至大语言模型，得到其输出的最优推理链，最后基于最优推理链中给出的最终答案进行验证，并在验证通过后输出最优推理链以及最终答案，提升了复杂数学问题的推理准确度。