Vitalik Buterin destacou a crescente interseção entre a infraestrutura do Ethereum e a inteligência artificial, enfatizando a necessidade de modelos otimizados para casos de uso relevantes. Ele anunciou o lançamento do Deepseek V4, um modelo quantizado de 2 bits que opera dentro de 90GB de memória, alcançando velocidades de 35 tokens por segundo em hardware Apple, mas apenas 7 tokens por segundo em AMD. Buterin ressaltou a importância de apoiar múltiplos fornecedores de hardware para diferenciar a IA descentralizada dos modelos de IA centralizados. Além disso, Buterin discutiu o modelo Leanstral da Mistral, que foca na escrita de código Lean e pode rodar dentro de 70GB, oferecendo desempenho comparável a um modelo grande de 1TB de parâmetros. Ele destacou o papel da verificação formal assistida por IA na melhoria da segurança do código, particularmente para componentes centrais como STARK, algoritmos de consenso e EVM. Buterin instou a comunidade Ethereum a ajustar finamente os modelos de IA para aplicações específicas do Ethereum e garantir suporte eficiente em diversas plataformas de hardware.