为什么选择数独？ 数独测试的是约束满足性，而逻辑逻辑模型（LLM）无法胜任。 逻辑逻辑模型擅长处理语言问题，但机器人和工业控制系统问题并非如此。 因此，我们创建了一种全新的架构，它构成了 Kona 基于能量的推理模型的基础。