창고 퍼즐과 주차장 탈출 문제를 통해 LLM이 정말로 "앞을 내다보고 계획"할 수 있는지 직접 검증해 봅시다.
왜 이런 퍼즐을? 두 퍼즐 모두 계산 복잡도가 PSPACE-complete인 계획 수립(planning) 문제입니다(일반화된 크기 기준으로 증명됨; 수업에서는 작은 맵 사례를 다룸). LLM이 규칙을 "외워서" 푸는 것이 아니라, 실제로 여러 수 앞을 시뮬레이션해야만 풀 수 있습니다. AI에게 문제를 풀게 하고, 받은 답을 이 사이트에서 직접 검증해 보세요.