官网Deepseek V4 Flash答题翻车实录
-
昨天在自己的DGX Spark上部署完Qwen3.8 27b NVFP4，本着闲着也是闲着的精神，就让Qwen3.8出个题考考Deepseek V4 Flash，正所谓：“发动模型斗模型。” Qwen3.8很快设计出来个损题：
“六个销售员：甲、乙、丙、丁、戊、己。 每个客户恰好由一名销售员负责：A、B、C、D、E、F（每个客户一人，每人负责一个客户）。 六人的月销售额互不相同，取自：80、120、160、200、240、280（单位：千元）。 已知条件： 1. 乙负责 B。 2. 负责 D 的销售额是 280。 3. 甲不负责 A、D。 4. 己不负责 C、E。 5. 丙不是最低。 6. 甲比负责 A 的多 80。 7. 戊比负责 E 的多 40。 8. 乙比戊多 120。 问题：请列出所有满足全部条件的分配方案（每人负责哪个客户、销售额各是多少），并判断解的个数（唯一解/多解共N组/无解）。“
我反手就贴给了Deepseek官网的Deepseek V4 Flash在线聊天框
V4 Flash 光速给出了答案，这下Qwen3.8 笑弯了腰
，哈哈哈哈——不及格！
Qwen vs DS4.jpegDeepSeek V4 Flash 的回答：
这是一个经典的逻辑谜题，可以用约束满足的思路来求解。我们一步步梳理，最终得到所有可能方案。
一、从“谁是谁”开始
先用已知条件整理出一些硬约束：乙 → B
负责 D 的人 → 销售额 280，且这个人 不是甲（条件 3），不是己（己不负责 C、E，但不影响 D）
甲不负责 A、D
己不负责 C、E
丙不是最低
甲 = 负责 A 的人 + 80
戊 = 负责 E 的人 + 40
乙 = 戊 + 120
二、用销售额差来推导
销售额只可能是：text
80, 120, 160, 200, 240, 280
关键约束（条件 6、7、8）：甲 - A = 80
→ 只有这些差值可以满足：
(甲, A) 的可能对：(160, 80) → 差 80
(200, 120)
(240, 160)
(280, 200)
但甲不能是 280（因为甲不负责 D，280 是 D 的销售额）。
所以留下：
(160,80)、(200,120)、(240,160)戊 - E = 40
可能对：(120, 80)
(160, 120)
(200, 160)
(240, 200)
(280, 240)
乙 = 戊 + 120
意味着戊只能比较小，乙比较大。
排查：戊 = 120 → 乙 = 240
戊 = 160 → 乙 = 280
戊 = 200 → 乙 = 320 不可能
所以只有两种情况：
Case A：戊 = 120，乙 = 240
Case B：戊 = 160，乙 = 280
但 280 是负责 D 的人的销售额，乙负责 B，所以乙 ≠ 负责 D 的人 → 乙 ≠ 280。
所以 Case B 排除。
确定了一个关键结论：乙 = 240（负责 B）
戊 = 120
三、由此推甲和 A
前面得到的甲- A 对：(160, 80)
(200, 120)
(240, 160)
但：
乙 = 240 → 甲 ≠ 240
戊 = 120 → 甲 ≠ 120，且 A ≠ 120
唯一剩下：
甲 = 160，A = 80四、继续推戊与 E
戊 = 120，且戊 - E = 40 → E = 80
但 A = 80，销售额互不相同 → 不可能同一个销售额对应两个客户。→ 矛盾。
最终结论
这组约束无解（0 组方案）。
不是唯一解也不是多解，而是条件本身自相矛盾。快速验证（逻辑链）
乙 = 戊 + 120
→ 戊只能 120 或 160戊 ≠ 160（否则乙 = 280，但 280 是 D 的，乙 ≠ D）
→ 戊 = 120，乙 = 240甲 - A = 80
→ 排除甲乙冲突后，只能甲 = 160，A = 80戊 - E = 40 → E = 80
但 A = 80 → 销售额重复 → 违反“各不相同”
耳光响亮啊......
【空口无凭 有图为证】
【Qwen3.8老师给Deepseek小朋友解题】
下面掌声有请看热闹的“友商“【ChatGPT5.6】总结这次翻车事件的关键点：
DeepSeek回答中的主要问题不是简单算错，而是：
-
混淆“某人的销售额已被占用”与“该人能否负责某客户”； -
错误排除了“A客户负责人销售额为120”的合法情况； -
没有完整展开分支； -
单一分支失败后没有回溯； -
宣布“无解”前没有构造或回代候选方案； -
将不完整推理包装成了“快速验证”。
因此，本次回答应判定为不合格。
本次失败不能简单概括为“不会逻辑推理”。更准确的能力画像是：
· 局部差值推导：具备；
· 初步约束传播：具备；
· 实体与属性绑定：出现关键错误；
· 分支完整性：不足；
· 回溯能力：本次未表现出来；
· 多解枚举：失败；
· 最终自验证：缺失。DeepSeek V4 Flash在线版在这一次回答中表现出明显的变量绑定错误、分支遗漏和回溯失败，在要求“列出全部解”的严格约束满足任务中可靠性不足。
-
这年头，手无寸“模”很难行走江湖咯