Vitalik Buterin ha destacado la creciente intersección entre la infraestructura de Ethereum y la inteligencia artificial, enfatizando la necesidad de modelos optimizados para casos de uso relevantes. Anunció el lanzamiento de Deepseek V4, un modelo cuantificado de 2 bits que opera con 90 GB de memoria, alcanzando velocidades de 35 tokens/segundo en hardware de Apple, pero solo 7 tokens/segundo en AMD. Buterin subrayó la importancia de apoyar a múltiples proveedores de hardware para diferenciar la IA descentralizada de los modelos de IA centralizados. Además, Buterin habló sobre el modelo Leanstral de Mistral, que se centra en la escritura de código Lean y puede funcionar con 70 GB, ofreciendo un rendimiento comparable al de un modelo grande de 1 TB de parámetros. Destacó el papel de la verificación formal asistida por IA para mejorar la seguridad del código, especialmente para componentes clave como STARK, algoritmos de consenso y EVM. Buterin instó a la comunidad de Ethereum a ajustar los modelos de IA para aplicaciones específicas de Ethereum y a garantizar un soporte eficiente en diversas plataformas de hardware.