Vitalik Membagikan Perkembangan LLM Terbaru, Menyoroti Perluasan Persinggungan Ethereum-AI pada 28 Mei

Menurut PANews, pada 28 Mei, Vitalik Buterin membagikan pembaruan tentang pengaturan model bahasa otonomnya (LLM), menekankan persinggungan yang semakin berkembang antara infrastruktur Ethereum dan kecerdasan buatan. Ia mencatat bahwa versi Deepseek V4 yang terkuantisasi 2-bit berjalan dalam memori 90GB pada sekitar 35 token per detik di perangkat Apple, tetapi hanya 7 token per detik di AMD, menegaskan bahwa dukungan multi-perangkat dari berbagai vendor adalah kunci untuk membedakan “decentralized AI” dari “CROPS AI.” Model Leanstral dari Mistral, yang berfokus pada penulisan kode Lean, juga berjalan dalam 70GB dengan performa yang sebanding dengan model berparameter 1T.

Vitalik menjelaskan peran verifikasi formal dalam meningkatkan keamanan kode, dengan mengusulkan bahwa verifikasi formal berbantuan AI memungkinkan pembuktian keamanan “end-to-end” yang dapat diterapkan pada STARKs, algoritma konsensus, dan komponen EVM. Ia menyoroti bahwa blockchain dan ZK-SNARKs menghadirkan verifikabilitas terbuka dan skalabilitas privasi, sementara AI yang dipadukan dengan verifikasi formal meningkatkan efisiensi kode sembari memulihkan akurasi, sehingga membentuk tumpukan teknologi yang saling melengkapi.