Bend 2와 바이브 코딩의 함정

<ul> <li><strong>바이브 코딩</strong>은 문제를 충분히 이해하기 전에 큰 규모의 해법을 완성하게 해, 기존에 더 나은 접근법이 있다는 사실을 놓치게 할 수 있음</li> <li><strong>Bend 2</strong>는 사람이 법칙을 작성하고 AI가 구현과 증명을 만들면 컴파일러가 증명의 타당성을 검사하는 언어지만, 데모의 단순한......