您己经发现了不同吧。”

    林正宏是做技术出身，虽然不是数学专业，但基础的逻辑素养还在。

    他盯着屏幕上的证明，眼睛越来越亮。

    “它……它用的是模运算，适用于任意正整数。”

    “对。”刘浩然点头，“它没有套用任何现成的教程案例，而是从十进位表示的一般形式出发，抓住了‘10模3馀1’这个本质属性。这说明它是真的理解了问题的结构，而不是在做模式匹配。”

    “目前市面上所有的大模型，本质上都是‘超高级的完形填空’。它们根据前文预测下一个词，预测得多了，看起来就象是在思考。

    但它们没有真正的理解能力。”

    “而小智不一样。”

    他切到小智的系统架构图。

    “这套框架，内核思路是把自然语言、符号逻辑、数学结构这三层完全解耦。

    普通的模型处理一句话，是把所有信息搅在一起，象一锅粥。

    小智处理一句话，会先把语义层剥开，搞清楚‘这句话在说什么’。

    然后把逻辑层分离出来，分析‘这句话的逻辑结构是什么’。

    最后把符号层提取出来，确定‘这句话映射哪些数学对象和运算规则’。”

    “三层分别处理完之后，再通过辛几何映射模块，把这些信息嵌入到一个加权度量空间里。

    在这个空间里，语义相近的概念距离近，逻辑相关的结构有特定的几何映射关系。

    然后弗洛尔同调模块在这个空间里做轨道分类，本质上就是在查找从前提通往结论的最优路径。”

    “所以它不是在做文本游戏，它是在真正地做数学推导。”

    刘浩然关掉开源模型的窗口，打开了小智的测试界面，输入了同样的问题。

    小智的回应出现在屏幕上。

    。证毕。”

    刘浩然转过头看着林正宏。

    “林总，看到这里，或许您己经发现了不同吧。”

    林正宏是做技术出身，虽然不是数学专业，但基础的逻辑素养还在。

    他盯着屏幕上的证明，眼睛越来越亮。

    “它……它用的是模运算，适用于任意正整数。”

    “对。”刘浩然点头，“它没有套用任何现成的教程案例，而是从十进位表示的一般形式出发，抓住了‘10模3馀1’这个本质属性。这说明它是真的理解了问题的结构，而不是在做模式匹配。”

    “目前市面上所有的大模型，本质上都是‘超高级的完形填空’。它们根据前文预测下一个词，预测得多了，看起来就象是在思考。

    但它们没有真正的理解能力。”

    “而小智不一样。”

    他切到小智的系统架构图。

    “这套框架，内核思路是把自然语言、符号逻辑、数学结构这三层完全解耦。

    普通的模型处理一句话，是把所有信息搅在一起，象一锅粥。

    小智处理一句话，会先把语义层剥开，搞清楚‘这句话在说什么’。

    然后把逻辑层分离出来，分析‘这句话的逻辑结构是什么’。

    最后把符号层提取出来，确定‘这句话映射哪些数学对象和运算规则’。”

    “三层分别处理完之后，再通过辛几何映射模块，把这些信息嵌入到一个加权度量空间里。

    在这个空间里，语义相近的概念距离近，逻辑相关的结构有特定的几何映射关系。

    然后弗洛尔同调模块在这个空间里做轨道分类，本质上就是在查找从前提通往结论的最优路径。”

    “所以它不是在做文本游戏，它是在真正地做数学推导。”