Bend 2를 비평한 글은 간단한 예제에 58개 법칙과 442줄의 증명이 필요했다며, SPARK의 자동 검증 방식과 비교해 AI로 코드를 채우기 전에 기존 기법을 살펴야 한다고 주장했다. 이는 특정 예제의 비용 비교이지 개발자가 분야를 모른다는 증거는 아니다. 관련 토론에서 개발자는 명시적인 증명이 검증기를 단순하고 빠르게 만들기 위한 의도적 선택이라고 반박했고, 비평자도 개인의 무지를 암시한 표현을 사과했다. 논점은 AI 사용 자체보다 증명 작성 비용과 확인 속도를 어떤 기준으로 평가할지에 있다.