买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜北京博大网信股份有限公司申请的专利面向数学推理的可视化思维操作系统及数学推理方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119808967B 。

龙图腾网通过国家知识产权局官网在2025-05-30发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510301119.0，技术领域涉及：G06N5/04；该发明授权面向数学推理的可视化思维操作系统及数学推理方法是由朱平;吕珀华;蒋学涛设计研发完成，并于2025-03-14向国家知识产权局提交的专利申请。

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

本发明授权面向数学推理的可视化思维操作系统及数学推理方法在权利要求书中公布了：1.一种面向数学推理的可视化思维操作系统，其特征在于，包括：人机交互接口，用于接收用户输入的数学问题描述文本；文本处理模块，用于对所述数学问题描述文本进行关键词提取，得到其中的关键词，并基于所述关键词检索数学知识库，得到所述数学问题描述文本匹配的知识文本；第一数学推理模块，用于将所述数学问题描述文本及其匹配的知识文本输入至大语言模型，得到所述大语言模型输出的多条推理链；任一推理链包含针对所述数学问题描述文本的多个推理步骤；关键步骤提取模块，用于基于所述多条推理链，确定每条推理链中与其他推理链中推理步骤相一致的重叠步骤，基于所述重叠步骤确定候选关键步骤，并对所述候选关键步骤进行验证，确定通过验证的候选关键步骤为关键步骤；第二数学推理模块，用于基于所述关键步骤中的关键词检索数学知识库，得到所述关键步骤匹配的知识文本，并将所述数学问题描述文本、所述关键步骤及其匹配的知识文本输入至大语言模型，得到所述大语言模型输出的最优推理链；推理结果输出模块，用于基于所述最优推理链中给出的最终答案进行验证，并在验证通过后输出所述最优推理链以及所述最终答案。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京博大网信股份有限公司，其通讯地址为：102628 北京市通州区经海五路3号院50号楼-1至8层10-101；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。