이더리움 창시자 비탈릭 부테린(Vitalik Buterin)이 X를 통해 "인공지능(AI)을 이용한 코드의 공식적인 검증과 버그 발견이 응용 분야라고 생각한다"고 전했다. 이어 "현재 이더리움의 가장 큰 기술적 위험은 코드 버그이며, 이 판도를 크게 바꿀 수 있다면 대단한 일이 될 것"이라고 덧붙였다.