제약 충족 퍼즐로 보는 AI의 논리 능력

왜 제약 충족 문제를? 스도쿠와 네모로직은 모두 NP-complete 조합 탐색 문제입니다(일반화된 크기 기준으로 증명됨; 수업에서는 작은 크기 사례를 다룸). 사람은 부분적 단서로부터 논리적으로 추론해 풀지만, LLM은 여러 제약을 동시에 유지하며 추론하는 데 약합니다. 한 제약을 맞추면서 다른 걸 어기는 실수가 전형적입니다.