▲ 数独文化 · 脑伴数独教程
ChatGPT这么强，为什么解数独还会错？因为大语言模型是概率模型，数独需要精确的符号推理。AI工作记忆有限，没有内置验证机制。人做数独锻炼的是AI还不擅长的能力。
大语言模型（如GPT-4）解数独的正确率约70-80%，困难题正确率更低。这是为什么？
原因一：数独需要精确的符号推理
大语言模型是"概率模型"——它预测下一个词最可能是什么。但数独不是概率问题，是确定性问题。一个格子填错了，后面全错。大语言模型没有"验证"机制，它不会检查自己填的数字是否符合规则。
原因二：工作记忆有限
大语言模型的"上下文窗口"虽然很大，但在做数独时，它需要同时记住81个格子的状态。这对它的工作记忆是个挑战。它经常"忘记"前面已经填了什么。
原因三：没有内置的数独算法
大语言模型是通过"看"大量数独题目来学习的，它没有内置的回溯算法或排除法。它的解法是"直觉式"的，不是"算法式"的。
这说明什么？人做数独用的是"符号推理"能力，这是AI目前还不完全具备的。所以人做数独仍然有价值——你在锻炼一种AI还不擅长的能力。