PANews는 5월 28일 비탈릭 부테린이 자율형 대규모 언어 모델(LLM) 구축의 최신 진행 상황을 공유하며 이더리움 인프라와 AI의 접점이 확대되고 있다고 보도했습니다. 그는 2비트 양자화 버전이 90GB 메모리 내에서 실행될 수 있는 Deepseek V4 출시를 언급하며, Apple 하드웨어에서는 초당 약 35개의 토큰을 처리하지만 AMD 하드웨어에서는 초당 약 7개의 토큰만 처리한다고 설명했습니다. 그는 다양한 하드웨어 제조사를 진정으로 지원하는 것이 "분산형 AI"와 "획일화된 AI"를 구분하는 핵심이라고 강조했습니다. 또한, Mistral의 Leanstral 모델(린 코드 작성에 중점)은 70GB 메모리 내에서 실행되어 1TB 파라미터 규모의 대형 모델과 유사한 성능을 달성할 수 있다고 밝혔습니다.

비탈릭 부테린은 코드 보안 강화에 있어 형식 검증의 역할에 대해 더욱 자세히 설명하며, AI 기반 형식 검증을 통해 STARK, 합의 알고리즘, EVM과 같은 핵심 구성 요소에 적용 가능한 엔드투엔드 보안 증명을 구현할 수 있다고 주장했습니다. 그는 블록체인과 ZK-SNARK가 개방형 검증 가능성과 개인 정보 보호 확장성을 제공하는 반면, AI와 형식 검증의 결합은 코드 작성 효율성을 향상시키면서 정확성을 복원하여 상호 보완적인 기술 스택을 형성할 수 있다고 지적했습니다. 비탈릭 부테린은 이더리움 생태계가 이더리움 관련 사용 사례에 맞는 모델을 더욱 정교하게 다듬고 다양한 하드웨어 플랫폼에서 효율적인 지원을 촉진해야 한다고 촉구했습니다.