不管你是数学证明、机器证明、编程算法、文学、绘画、音乐、法律文书、财务计算、工程计算
这些事情根本没有本质区别,都是基于规则、运用逻辑、产出文字(含符号和概念)
版主: hci

不管你是数学证明、机器证明、编程算法、文学、绘画、音乐、法律文书、财务计算、工程计算
这些事情根本没有本质区别,都是基于规则、运用逻辑、产出文字(含符号和概念)

不会的
应该是LLM做出来, 是个人就能看懂的, 是文科
让文科生看LLM做出来的数学证明, 基本是母猪上树
matlab 写了: 2025年 11月 11日 11:55不管你是数学证明、机器证明、编程算法、文学、绘画、音乐、法律文书、财务计算、工程计算
这些事情根本没有本质区别,都是基于规则、运用逻辑、产出文字(含符号和概念)
工具机谈智商, 犹如妓女谈贞操, 哪壶不开提哪壶
呼叫鸡谈造谣, 犹如站街女谈卖淫, 那是行家里手
正常呀。码砖块有码砖块的价格,搞艺术有搞艺术的价格。
LLM就是个工具。工具不能取代艺术家呀。对不对?
用同样的工具,艺术家造出来的是精品,一般人造出的就是拙劣的仿品。价格当然不同。大多数人用仿品就够了,但艺术家也有自己的市场。
人类的对新奇的需求是无止境的。目前这种AI对这种需求从原理上讲就是不能满足的。人类的泛化能力太强,很难糊弄。