Blog

'완벽하게 구현해줘'라고 했더니 버튼 하나만 왔어요 — AI의 '완성'을 수학으로 정의하기

AI 결과가 이상하게 나오는 원인을 자연어 요청의 빈칸에서 찾고, 요구사항을 형식 언어로 옮겨 공간·법칙·관찰로 정의한 뒤 Bend로 증명하고 fast-check로 동등 분할·경계값 테스트를 뽑아내는 과정을 초심자 눈높이로 정리한 글