CN119808967A 面向数学推理的可视化思维操作系统及数学推理方法 （北京博大网信股份有限公司）.docxVIP

(19)国家知识产权局

(12)发明专利申请

(10)申请公布号CN119808967A

(43)申请公布日2025.04.11

(21)申请号202510301119.0

(22)申请日2025.03.14

(71)申请人北京博大网信股份有限公司

地址102628北京市通州区经海五路3号院

50号楼-1至8层10-101

(72)发明人朱平吕珀华蒋学涛

(74)专利代理机构北京超凡宏宇知识产权代理

有限公司11463

专利代理师邱小波

(51)Int.Cl.

G06N5/04(2023.01)

G06F40/30(2020.01)

G06F40/289(2020.01)

G06F16/334(2025.01)

权利要求书2页说明书10页附图3页

(54)发明名称

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

学推理方法

(57)摘要

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