6小时前

日常阅读,更多是一种pretraining,只需要关注过程。 过往,我们人脑的语言能力还是在于自然语言社会解释性,形式语言的逻辑证明是这种解释性的产品化,二进制计算机程序则是解释性的极致体现-可计算的可trackable也可以scalable,把形式语言关于计算确定性完全offloaded。 LLM的出现带来了彻底的offloading。不仅仅是形式语言如coding的生成,还在于自然语言本体

相关新闻