研究让 AI 把逻辑题交给精确求解器

11 月 2 日公布的一篇预印本，把斑马谜题的解答拆成两个部分：大模型将题目中的对象和关系转换成结构化约束，精确覆盖求解器再计算答案。

当编码无效、约束过多或不足时，求解器提供反馈，让模型继续修正。作者在多个模型系列上比较了该方法与纯语言推理；求解保证针对编码后的问题，仍需确认模型没有误译原始题意。

来源：arXiv · 2611.03641。