PANewsは5月28日、Vitalik Buterin氏が自身の自律型大規模言語モデル（LLM）のセットアップに関する最新の進捗状況を共有し、イーサリアムのインフラストラクチャとAIの交わりが拡大していることを指摘したと報じた。同氏は、2ビット量子化バージョンが90GBのメモリ内で実行でき、Appleハードウェアでは約35トークン/秒の速度を達成するが、AMDでは約7トークン/秒にとどまるDeepseek V4のリリースに言及した。同氏は、複数のハードウェアベンダーに対する真のサポートが「分散型AI」と「CROPS AI」を区別する鍵であると強調した。さらに、MistralのLeanstralモデル（リーンコード記述に焦点を当てたもの）は70GB内で実行でき、1TBのパラメータを持つ大規模モデルに匹敵するパフォーマンスを達成できる。

ヴィタリック氏は、コードセキュリティ強化における形式検証の役割についてさらに詳しく説明し、AI支援による形式検証は、STARK、コンセンサスアルゴリズム、EVMなどのコアコンポーネントに適用可能な、コードのエンドツーエンドのセキュリティ証明を実現できると主張した。同氏は、ブロックチェーンとZK-SNARKはオープンな検証可能性とプライバシーのスケーラビリティを提供する一方、AIと形式検証の組み合わせは、精度を回復しながらコード記述の効率を向上させ、相補的な技術スタックを形成すると指摘した。ヴィタリック氏は、イーサリアム関連のユースケースに合わせてモデルを微調整し、複数のハードウェアプラットフォームにわたる効率的なサポートを促進するよう、イーサリアムエコシステムに呼びかけた。