主题：这几天大火的Deepseek没有人讨论吗 -- 俺本懒人

DeepSeek把模型变小是它最关键的一点。

自然语言存在大量的冗余，从抽象和有损的信息压缩角度，DeepSeek已经把自然语言中的冗余挤得差不多了。

自然语言中的逻辑不是逻辑，通篇全是漏洞；形式逻辑因为污染认知问题更大，真正的逻辑是数学中的符号逻辑那一套。

大多数大学生可以从高数、微积分中那套无穷小逼近的那套写法了解一些符号逻辑，更早的话，初中几何中的三个点表示的因为、所以。

我是上过《离散数学》，对于全序偏序、符号逻辑那些体会更深一些，虽然最后收获不多，但我知道什么才是符号逻辑。

--

DeepSeek当前为止并没有表现出任何逻辑能力，也就是判断、证明、证否这些真正的逻辑能力。

DeepSeek当前为止真正表现出来的能力是把原问题分析细化的能力，也就是你当你对DeepSeek提出一个问题之后：

（1）DeepSeek只是用他的丰富的资料库，把问题分析细化；

（2）用更有条理的语言把问题描述得更清晰；

换句话说，DeepSeek只是用它的知识库，把你提出的问题重新描述了一遍，补充资料，组织得更有条理性——所以我称之为分析细化能力。

你提出一个问题，DeepSeek负责描述这个问题，增加资料，更加条理化，然后看你自己能不能找到这个问题的答案。

DeepSeek的回复并没有真正回答这个问题，能不能得出这个问题的答案全看用户自己——能不能充分利用DeepSeek提供的那些资料，能不能充分利用DeepSeek把问题条理化时透漏出来的那些结构化信息。

--

DeepSeek能够做到分析和细化，不是因为它具有了逻辑能力，而是它把自然语言中的冗余挤掉得差不多了，所以特别擅长变换表述。

DeepSeek的分析细化能力，是自然语言层次的变换表述，因为它可以补充各种资料，因为它知道各种结构化信息，所以它可以补完问题。

DeepSeek的变化自然语言的表述，是为了把你提出的问题补充完整，它负责提供各种资料，负责提供结构化信息——但负责做出判断的是用户。

--

所以我有时特别不明白，为啥你们对着自然语言讨论逻辑，金岳霖有句话：红楼梦中的哲学不是哲学，金岳霖的哲学就指逻辑。

讨论逻辑是需要门槛的，我们理工科的门槛叫严格逻辑，数学的门槛叫纯粹逻辑，我严格逻辑还可以，到纯粹逻辑就开始欠费了。

平常我们在网上讨论的这些都不是逻辑层次，而是自然语言的层次。至少也要到符号逻辑的层次，才能真正的讨论逻辑。

--

最后，交互属于HCI（人机交互接口）的研究内容，并不是真正回答你提出的问题才叫交互。

AI回答问题这种交互往往只存在于科幻中，但我们讨论是现实中的技术问题，就不要套科幻了，我怎么觉得你们把科幻当真了？

就像我反复强调的一样，DeepSeek利用它的分析细化能力，把你问题补充完整，也是一种交互。