Vitalik Buterin a souligné l'intersection croissante entre l'infrastructure Ethereum et l'intelligence artificielle, insistant sur la nécessité de modèles optimisés pour des cas d'utilisation pertinents. Il a annoncé la sortie de Deepseek V4, un modèle quantifié en 2 bits fonctionnant avec 90 Go de mémoire, atteignant des vitesses de 35 tokens/seconde sur du matériel Apple mais seulement 7 tokens/seconde sur AMD. Buterin a insisté sur l'importance de soutenir plusieurs fournisseurs de matériel afin de différencier l'IA décentralisée des modèles d'IA centralisés. De plus, Buterin a évoqué le modèle Leanstral de Mistral, qui se concentre sur l'écriture de code Lean et peut fonctionner avec 70 Go, offrant des performances comparables à un grand modèle de 1 To de paramètres. Il a souligné le rôle de la vérification formelle assistée par IA pour renforcer la sécurité du code, en particulier pour les composants clés comme STARK, les algorithmes de consensus et l'EVM. Buterin a exhorté la communauté Ethereum à affiner les modèles d'IA pour des applications spécifiques à Ethereum et à garantir un support efficace sur diverses plateformes matérielles.