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

贴一段我之前的想法吧：

”推理能力也是分层的。交互式定理证明应该是最硬核的形式演绎推理了，在证明的过程中也分三种情况。第一种是直接照搬已有的证明，只在语法层进行修改，用于消解待证目标。第二种需要深入理解待证目标的语义信息，以及已有类似证明的语义信息，借鉴已有证明的构造模式，构造出符合要求的证明。第三种是还没有类似的证明，这种情况下需要从头开始，把大脑中的非形式证明，翻译成形式化的证明。

第一种可以简述为"人云亦云"。可以看成是一种广义的模式匹配，大模型的水平已经达到这一层级。

如果大模型能够做到第二种，概括为“举一反三”，那就应该认为它有一定程度的演绎推理能力。目前大模型已经有这个迹象了。

如果大模型能做到第三种，总结为“无中生有”，那它就已经具备了真正的演绎推理能力。”

之前一直在想大模型如何能做到“无中生有”。现在看来不一定需要大模型独立做这件事，或许在和人类配合的情况下能做到。