為什麼選擇數獨？ 數獨測試的是約束滿足性，而邏輯邏輯模型（LLM）無法勝任。 邏輯邏輯模型擅長處理語言問題，但機器人和工業控制系統問題並非如此。 因此，我們創建了一種全新的架構，它構成了 Kona 基於能量的推理模型的基礎。