공부 1도 안 하고 AI로 언어 만들면 생기는 대참사 (바이브 코딩의 함정)

요약 AI 시대를 위한 신규 프로그래밍 언어로 주목받은 'Bend 2'가 이른바 '바이브 코딩(vibe-coding)'의 치명적인 함정에 빠졌다는 비판 글이 해외 개발자 커뮤니티에서 화제를 모으고 있습니다. Bend 2는 인간 개발자가 규칙(법칙)을 정의하면 AI가 실제 구현 코드와 증명(proof)을 작성하고 컴파일러가 이를 검증한다는 콘셉트를 내세웠습니다. 그러나 블로그 작성자 리암 파월(Liam Powell)은 Bend 공식 홈페이지의 데모를 분석하며 심각한 낭비와 비효율성을 지적했습니다. 작성자에 따르면, 게임 내에서 플레이어가 깃발에 닿지 못한다는 아주 단순한 조건을 정의하는 데만 58줄의 코드가 필요했고, LLM이 이를 증명하기 위해 무려 442줄에 달하는 방대한 코드를 밑바닥부터 작성해야 했습니다. 작성자는 이러한 현상의 근본 원인으로 바이브 코딩을 지목했습니다. 해당 도메인에 대한 기초 지식이나 사전 조사가 전혀 없는 상태에서도 AI를 이용하면 그럴듯한 결과물(언어와 컴파일러 전체)을 순식간에 뚝딱 만들어낼 수 있기 때문입니다. 실제로 기존 정형 검증(formal verification) 분야에는 이미 표준적이고 훨씬 뛰어난 기법들이 존재함에도 불구하고, Bend의 공식 웹사이트나 코드베이스 어디에도 '정형 검증'이라는 단어 자체가 등장하지 않습니다. 작성자가 기존 정형 검증 언어인 SPARK를 활용해 똑같은 데모를 단번에 구현해 본 결과, LLM이 442줄짜리 증명 코드를 일일이 씨름하며 토큰과 시간을 낭비할 필요 없이 컴파일러(GNATprove) 검증 단계에서 단번에 모든 조건이 완벽히 증명되었습니다. 결국 작성자는 사전 조사 없이 무작정 AI에게 코딩을 맡기면, 이미 수십 년 전에 해결된 표준 기술을 지나친 채 밑바닥부터 비효율적인 바퀴를 재발명하거나 시대에 뒤떨어진 설계를 그대로 구현하는 함정에 빠지게 된다고 경고했습니다. AI는 사용자가 터무니없는 접근 방식을 요구해도 말리지 않고 그저 시키는 대로 코드를 짜주기 때문입니다.