Vitalik Buterin hat die wachsende Schnittstelle zwischen der Ethereum-Infrastruktur und künstlicher Intelligenz hervorgehoben und dabei die Notwendigkeit optimierter Modelle für relevante Anwendungsfälle betont. Er kündigte die Veröffentlichung von Deepseek V4 an, einem 2-Bit quantisierten Modell, das mit 90 GB Speicher arbeitet und auf Apple-Hardware Geschwindigkeiten von 35 Token pro Sekunde erreicht, jedoch nur 7 Token pro Sekunde auf AMD. Buterin betonte die Bedeutung der Unterstützung mehrerer Hardware-Anbieter, um dezentrale KI von zentralisierten KI-Modellen zu unterscheiden. Darüber hinaus sprach Buterin über Mistrals Leanstral-Modell, das sich auf schlankes Codieren konzentriert und mit 70 GB auskommt, wobei es eine Leistung bietet, die mit einem großen Modell mit 1 TB Parametern vergleichbar ist. Er unterstrich die Rolle der KI-gestützten formalen Verifikation zur Verbesserung der Codesicherheit, insbesondere für Kernkomponenten wie STARK, Konsensalgorithmen und EVM. Buterin forderte die Ethereum-Community auf, KI-Modelle für Ethereum-spezifische Anwendungen fein abzustimmen und eine effiziente Unterstützung auf verschiedenen Hardwareplattformen sicherzustellen.