大语言模型在数独等约束满足问题上表现不佳，因其从左到右逐词生成且输出离散，难以同时满足多重约束。Logical Intelligence提出能量基推理模型（EBRM），如Kona，用连续隐空间推理，通过能量函数评估候选答案并沿梯度下降搜索，模型仅数千万参数，速度快、成本低。EBRM适合规则明确、可验证的任务，语言模型则负责判断与表达，二者分工互补。