Stephen wolfram梦想的就是自然语言编程

[Caravel]

他搞了一个什么mathematic alpha还是什么的

但是其实不好用

LLM把他的理想实现了

[TeacherWei]

你们有没有想过为啥要自然语言编程呢？自然语言就那么好？就那么适合编程么？自然语言适合的是各种抒情和意淫。

[churchillus]

当年Mathematica可以做复杂的symbolic运算还是很牛的，知道不少做数学模型的用它验证结果，现在symbolic运算都烂大街了

[Caravel]

你们有没有想过为啥要自然语言编程呢？自然语言就那么好？就那么适合编程么？自然语言适合的是各种抒情和意淫。

自然语言比编程语言高级

自然语言说一句话别人就知道怎么做

你要是编程机器人需要写几百上千行code

[TeacherWei]

哪种语言更高级，属于主观判断，要不你拿出客观证明出来？

至于“自然语言说一句话别人就知道怎么做”，那是因为已经有无数人做过了，形成了轮子和套路。比如你让LLM写一个FFT函数，它能给你写得天花乱坠。但是如果你偏偏不告诉它那是FFT，你用自然语言给它描述出来，你能么？它能给你写得出来么！最后你会发现，最有效的描述就是代码本身。所谓“还不够和你废话的！”

既然都是语言，为了讨论方面，咱们就用“说话”一词来代替。你是描述也好，编程也好，都是“说话。”所谓的自然语言编程，最高目的和最终目的无非是人人都能编程么！那么下面我们就来讨论，如果要“人人都能编程”，那应该“说什么话”呢？

干啥吆喝啥，咱们就用“智能草坪浇水”的控制程序来举例。如果你希望几亿用户都能编程，那你希望用户怎么说话呢（用什么语言呢）？我相信广大用户都希望“直接说事儿，少整废话！”

用户自己家花园分几个区，每个区都有一个遥控喷水阀门。用户需要告诉的是针对阀门

1. 本区是什么植物？是草？花？还是树？
2. 本区的蓄水能力，是平地？洼地？还是坡地？
3. 本区的土壤，是土质？沙质？还是混合和百分比？
4. 浇水喷头，是喷头？还是滴灌？还是别的？

至于真正算法，是人来写还是机器来写无所谓，但是肯定是一个轮子或者套路。我就称为Thing-App。至于用户编程，你看看用的是什么语言？那就一个严格的树结构填空。每个节点都有一个自然语言的注解披个外衣（这个外衣仅仅表达在图形界面上而已，真正的输入语言不包含）。

参见我的文档动画

https://docs.smartonlabs.com/developers ... -end-users

所以，本着“捞干货，不整废话的原则，”要人人都编程，其实肯定不是自然语言（0型文法），而是严格的结构化语言比如我的树结构就是二型文法。

自然语言比编程语言高级

自然语言说一句话别人就知道怎么做

你要是编程机器人需要写几百上千行code

[Caravel]

哪种语言更高级，属于主观判断，要不你拿出客观证明出来？

至于“自然语言说一句话别人就知道怎么做”，那是因为已经有无数人做过了，形成了轮子和套路。比如你让LLM写一个FFT函数，它能给你写得天花乱坠。但是如果你偏偏不告诉它那是FFT，你用自然语言给它描述出来，你能么？它能给你写得出来么！最后你会发现，最有效的描述就是代码本身。所谓“还不够和你废话的！”

既然都是语言，为了讨论方面，咱们就用“说话”一词来代替。你是描述也好，编程也好，都是“说话。”所谓的自然语言编程，最高目的和最终目的无非是人人都能编程么！那么下面我们就来讨论，如果要“人人都能编程”，那应该“说什么话”呢？

干啥吆喝啥，咱们就用“智能草坪浇水”的控制程序来举例。如果你希望几亿用户都能编程，那你希望用户怎么说话呢（用什么语言呢）？我相信广大用户都希望“直接说事儿，少整废话！”

用户自己家花园分几个区，每个区都有一个遥控喷水阀门。用户需要告诉的是针对阀门

1. 本区是什么植物？是草？花？还是树？
2. 本区的蓄水能力，是平地？洼地？还是坡地？
3. 本区的土壤，是土质？沙质？还是混合和百分比？
4. 浇水喷头，是喷头？还是滴灌？还是别的？

至于真正算法，是人来写还是机器来写无所谓，但是肯定是一个轮子或者套路。我就称为Thing-App。至于用户编程，你看看用的是什么语言？那就一个严格的树结构填空。每个节点都有一个自然语言的注解披个外衣（这个外衣仅仅表达在图形界面上而已，真正的输入语言不包含）。

参见我的文档动画

https://docs.smartonlabs.com/developers ... -end-users

所以，本着“捞干货，不整废话的原则，”要人人都编程，其实肯定不是自然语言（0型文法），而是严格的结构化语言比如我的树结构就是二型文法。

自然语言的语法基本没有什么限制，在层级上高于语法高度受限的计算机语言，这个没什么争议吧。举个例子，自然语言可以有很多不同的语言都可以表达一个意思，语法不正确也可以，计算机语言只要错一点，就没可能运行。

大模型和你的API结合训练一下，很容易就实现那些功能吧。

[TeacherWei]

中文和西文比起来，更加没限制，没规矩，没语法。就更加容易浑水摸鱼。
我在另外一贴还特别提到，human nature和humanity这两个相反的概念，都能被中文统称为“人性。”

因此什么语言更高级，学界根本不会给出任何定义。
LLM与其说是编程，不如说是“搜索。”就是把已经存在的知识，进行各种语法变换而已。翻译成编程语言或是某一门外语，本质上并没有不同。语法都要一样正确才行。一次变换达不到目的，就需要进行多次叠加变换。所谓的CoT就是这么个玩意儿而已。前提是，知识已经存在，被机器统计学习过了就行。

至于你说“大模型和你的API结合训练一下，很容易就实现那些功能吧，”其实容易不容易还是取决于是否有现成的知识可以抄袭而已。比如智能眼镜的核心技术眼球跟踪，据说就是一个70KB数据的神经网络。这个函数定义良好，输入输出都简单无比，大模型能自动给出参数么？所以说，本质上，依旧是有多少人工就有多少智能。至于目前被LLM节省掉的人工，难道不是本来就应该不值钱么？10年前我和好虫的争论焦点之一就是这点，目前终于应验了而已。

至于我的API，控制世间万物也仅仅6个函数API而已。其实API又不值钱。专利保护的也不是API，而是整体的系统设计中的一些关键点。

自然语言的语法基本没有什么限制，在层级上高于语法高度受限的计算机语言，这个没什么争议吧。举个例子，自然语言可以有很多不同的语言都可以表达一个意思，语法不正确也可以，计算机语言只要错一点，就没可能运行。

大模型和你的API结合训练一下，很容易就实现那些功能吧。

[Caravel]

中文和西文比起来，更加没限制，没规矩，没语法。就更加容易浑水摸鱼。
我在另外一贴还特别提到，human nature和humanity这两个相反的概念，都能被中文统称为“人性。”

因此什么语言更高级，学界根本不会给出任何定义。
LLM与其说是编程，不如说是“搜索。”就是把已经存在的知识，进行各种语法变换而已。翻译成编程语言或是某一门外语，本质上并没有不同。语法都要一样正确才行。一次变换达不到目的，就需要进行多次叠加变换。所谓的CoT就是这么个玩意儿而已。前提是，知识已经存在，被机器统计学习过了就行。

至于你说“大模型和你的API结合训练一下，很容易就实现那些功能吧，”其实容易不容易还是取决于是否有现成的知识可以抄袭而已。比如智能眼镜的核心技术眼球跟踪，据说就是一个70KB数据的神经网络。这个函数定义良好，输入输出都简单无比，大模型能自动给出参数么？所以说，本质上，依旧是有多少人工就有多少智能。至于目前被LLM节省掉的人工，难道不是本来就应该不值钱么？10年前我和好虫的争论焦点之一就是这点，目前终于应验了而已。

至于我的API，控制世间万物也仅仅6个函数API而已。其实API又不值钱。专利保护的也不是API，而是整体的系统设计中的一些关键点。

LLM不光是搜索文本直接相关内容，文本引申的意思他也可以告诉你。比如你告诉他，我星期一下午3点去游泳。他可以帮你计算2点半如果在公司还来不来得及赶过去。

现在做IMO得金牌这种事情，绝不可能是直接靠刷题目。去年的大模型连高考题都不及格，今年进步很大，还是有货的。

现在我每天都很大模型对话，比如让他帮我找一些满足条件的函数，每次他都可以给我非常精准的回答，还可以马上写成code demo。说明不是胡说八道。

[TeacherWei]

作为知识库，当然是有货的。大模型本质是压缩知识和检索知识。不管是引申，还是奥数，都是在现有的知识以内的。

至于我个人，要活出一个历史定位，就要努力创造目前大模型创造不了的知识，写目前大模型写不出的代码。

LLM不光是搜索文本直接相关内容，文本引申的意思他也可以告诉你。比如你告诉他，我星期一下午3点去游泳。他可以帮你计算2点半如果在公司还来不来得及赶过去。

现在做IMO得金牌这种事情，绝不可能是直接靠刷题目。去年的大模型连高考题都不及格，今年进步很大，还是有货的。

现在我每天都很大模型对话，比如让他帮我找一些满足条件的函数，每次他都可以给我非常精准的回答，还可以马上写成code demo。说明不是胡说八道。

[TeacherWei]

我再给你们举一个例子。就说我的Guaranteed UI。本质就是输入一个Schema Tree，然后生成一个Data Tree Editor的UI。
这种Schema的定义在90年代就很完美了。当时是XML Schema用来描述XML文档。我的Schema本质上是一摸一样的。

https://docs.smartonlabs.com/developers ... -end-users

当时大约7-8年前，我就是找了个程序员。是成人自考的大学毕业，连正经大学都没上。我花了不到一个小时给他讲输入输出是啥样，然后不到一个礼拜，Android和iOS上的实现都做出来了。其实也就是1000行代码出头而已。没啥困难的。

你们谁要是不服气，就让目前的大模型做做看。如何prompt我不管，大模型输出的代码说话。

[Caravel]

我再给你们举一个例子。就说我的Guaranteed UI。本质就是输入一个Schema Tree，然后生成一个Data Tree Editor的UI。
这种Schema的定义在90年代就很完美了。当时是XML Schema用来描述XML文档。我的Schema本质上是一摸一样的。

https://docs.smartonlabs.com/developers ... -end-users

当时大约7-8年前，我就是找了个程序员。是成人自考的大学毕业，连正经大学都没上。我花了不到一个小时给他讲输入输出是啥样，然后不到一个礼拜，Android和iOS上的实现都做出来了。其实也就是1000行代码出头而已。没啥困难的。

你们谁要是不服气，就让目前的大模型做做看。如何prompt我不管，大模型输出的代码说话。

厉害.

你这个是给end user还是给small business? 你的app可以控制哪些硬件？

[TeacherWei]

我和那个小伙子聊了三分钟，就知道他一定能干出来。不客气地讲，我认识的所有的博士，没有一个人能写出来的。

Thing-App面向的是几十亿end user啊。理论可证明是最傻瓜的。也就是最优化。不但对用户是最优化，对于开发者也是最优化。

至于整个系统，面向的是所有人。包括所有芯片制造商。至于控制的硬件，奴前所有基于Matter标准的硬件都能控制。请搜索Matter标准，那是最新标准。谷歌苹果三星花了10年上百亿美金硬推的新标准。

厉害.

你这个是给end user还是给small business? 你的app可以控制哪些硬件？

[TeacherWei]

其实，IoT，Internet of Things，里面的Things，广义地讲，是任何能够交换data的实体。
所以，我的系统，除了控制狭义的IoT设备，广义地讲，能够适用于任意Business Process。对于今后几十年的应用我是有所期待的。

[Caravel]

其实，IoT，Internet of Things，里面的Things，广义地讲，是任何能够交换data的实体。
所以，我的系统，除了控制狭义的IoT设备，广义地讲，能够适用于任意Business Process。对于今后几十年的应用我是有所期待的。

真正日常普通人能用到的也就是电灯，洒水的，摄像头，音箱

[Caravel]

我和那个小伙子聊了三分钟，就知道他一定能干出来。不客气地讲，我认识的所有的博士，没有一个人能写出来的。

Thing-App面向的是几十亿end user啊。理论可证明是最傻瓜的。也就是最优化。不但对用户是最优化，对于开发者也是最优化。

至于整个系统，面向的是所有人。包括所有芯片制造商。至于控制的硬件，奴前所有基于Matter标准的硬件都能控制。请搜索Matter标准，那是最新标准。谷歌苹果三星花了10年上百亿美金硬推的新标准。

你让终端用户编程么，那更应该和AI结合起来

[TeacherWei]

搜索Thing-App，也就是现有的轮子，肯定是LLM最给力。至于配置App输入树结构，给个UI就好。原因可以思考。

你让终端用户编程么，那更应该和AI结合起来

[TeacherWei]

关键是Libertas OS能运行在价值75美分的IoT MCU芯片里面。让芯片能够在本地运行用户任意选定的App。这种芯片的产量很快就会达到每年上百亿片。

这是把任何芯片都变成类似运行App的手机。也就是物联网领域的安卓。

真正日常普通人能用到的也就是电灯，洒水的，摄像头，音箱

[tiantian2000]

机器代码到汇编语言，到C语言，到更多高级计算机语言，不就是更接近自然语言吗？我写的prompt，只要意思大概差不多，LLM就能实现的差不多

[BCQ1]

自由散漫就等于无规矩，
都不守规矩就等于没有规矩
只有标准化才能形成规模出效果
你是自然语言了，中国话是有
100种口音100种说法，秦皇汉武说话
你都听不懂，什么自然语言编程，写个程序
把你妈叫过来？这种吗？

[TeacherWei]

LLM本质就是知识库。整理和检索知识的能力超强。一旦被它学了去，这个知识就不值钱了。

所谓，什么东西你顺嘴一说它就能写出来？什么东西还不够和它废话的？体现的目前这个知识的标准化程度。知识流行了，就越容易标准化。

知道有着一个边界，而且能掌握这个边界，很重要。

自由散漫就等于无规矩，
都不守规矩就等于没有规矩
只有标准化才能形成规模出效果
你是自然语言了，中国话是有
100种口音100种说法，秦皇汉武说话
你都听不懂，什么自然语言编程，写个程序
把你妈叫过来？这种吗？