이더리움 공동 창립자 비탈릭 부테린은 AI 지원 형식 검증이 소프트웨어 개발의 궁극적인 진화가 될 수 있다고 제안했습니다. 이 접근법에서는 인공지능이 코드를 생성하고 형식적 증명이 그 정확성을 보장하여 이더리움과 같은 시스템을 완전히 버그 없는 상태로 만들 수 있습니다. 부테린은 이 조합이 블록체인 및 기타 중요한 소프트웨어 시스템의 보안성과 신뢰성을 크게 향상시킬 수 있다고 제안합니다.