天眼查App显示，2025年5月30日，「面向数学推理的可视化思维操作系统及数学推理方法」正式进入专利权的授权阶段。申请人为北京博大网信股份有限公司，该项人工智能专利涉及复杂数学问题的推理与解决。据专利信息显示，该技术显著优化了复杂数学问题的推理准确度。发明人为朱平、吕珀华、蒋学涛。

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

免责声明：本文内容由开放的智能模型自动生成，仅供参考。