第232章 真正地做数学推导(4 / 4)
“而小智不一样。”
他切到小智的系统架构图。
“这套框架,核心思路是把自然语言、符號逻辑、数学结构这三层完全解耦。
普通的模型处理一句话,是把所有信息搅在一起,像一锅粥。
小智处理一句话,会先把语义层剥开,搞清楚『这句话在说什么』。
然后把逻辑层分离出来,分析『这句话的逻辑结构是什么』。
最后把符號层提取出来,確定『这句话对应哪些数学对象和运算规则』。”
“三层分別处理完之后,再通过辛几何映射模块,把这些信息嵌入到一个加权度量空间里。
在这个空间里,语义相近的概念距离近,逻辑相关的结构有特定的几何对应关係。
然后弗洛尔同调模块在这个空间里做轨道分类,本质上就是在寻找从前提通往结论的最优路径。”
“所以它不是在做文字游戏,它是在真正地做数学推导。” ↑返回顶部↑
他切到小智的系统架构图。
“这套框架,核心思路是把自然语言、符號逻辑、数学结构这三层完全解耦。
普通的模型处理一句话,是把所有信息搅在一起,像一锅粥。
小智处理一句话,会先把语义层剥开,搞清楚『这句话在说什么』。
然后把逻辑层分离出来,分析『这句话的逻辑结构是什么』。
最后把符號层提取出来,確定『这句话对应哪些数学对象和运算规则』。”
“三层分別处理完之后,再通过辛几何映射模块,把这些信息嵌入到一个加权度量空间里。
在这个空间里,语义相近的概念距离近,逻辑相关的结构有特定的几何对应关係。
然后弗洛尔同调模块在这个空间里做轨道分类,本质上就是在寻找从前提通往结论的最优路径。”
“所以它不是在做文字游戏,它是在真正地做数学推导。” ↑返回顶部↑