새로운 프로그래밍 언어 'Bend'가 인공지능(AI)이 생성하는 코드의 정확성을 보장하는 혁신적인 접근법을 선보였습니다. 개발자가 반드시 지켜야 할 규칙을 코드로 명시하면, AI가 이 규칙을 준수하는 구현 코드와 함께 규칙 준수를 증명하는 코드까지 작성하여 검증 단계에서 오류를 차단하는 방식입니다. 이는 자연어의 모호함을 넘어선 정밀한 요구사항 명시와 빠른 실행 속도를 결합하여 AI 기반 소프트웨어 개발의 신뢰성을 높이는 데 기여할 것으로 기대됩니다.
Bend는 'LAWS.bend' 파일에 규칙을, 'PROOF.bend' 파일에 증명을 작성하는 구조를 가집니다. 타입 검사기가 증명까지 함께 검사하여 코드 변경 후에도 규칙이 유지되는지 확인합니다. 특히 네이티브 코드로 컴파일되며, 단일 코어에서 C 언어에 준하는 속도를 보이고, 동일한 바이너리를 여러 CPU 코어나 GPU에서 병렬 실행할 수 있습니다. 자체 벤치마크 결과, Apple M4 Max에서 Game of Life 시뮬레이션 시 Bend는 단일 코어에서 7.80초, 16코어에서 0.65초(12배 빠름), GPU에서 0.06초(124배 빠름)를 기록하며 압도적인 병렬 처리 성능을 보여주었습니다. 또한, 증명 검사 시간도 기존 증명 언어들이 수분 걸리던 작업을 1초 이내로 단축하여, AI 에이전트가 코드를 수정할 때마다 실시간으로 검증하는 개발 흐름을 가능하게 합니다.
이러한 Bend의 접근 방식은 AI 에이전트가 코드를 생성하고 수정하는 시대에 소프트웨어 품질을 확보하는 중요한 열쇠가 될 수 있습니다. AI가 만들어낸 코드가 의도치 않은 버그를 포함하거나 보안 취약점을 만들 가능성을 증명 기반 검증으로 줄일 수 있기 때문입니다. 물론 규칙 자체가 불완전하거나 잘못 명시될 경우 AI가 규칙의 '문구'만 만족하는 '창의적'인 편법을 찾아낼 수 있다는 한계도 존재하지만, 개발자가 검토해야 할 코드의 양을 획기적으로 줄여준다는 점에서 큰 의미를 가집니다. Bend는 아직 초기 단계이며 표준 라이브러리도 발전 중이지만, AI와 인간 개발자가 협력하여 더욱 견고한 소프트웨어를 만드는 미래를 위한 중요한 발걸음으로 평가됩니다.