PANewsによると、5月28日、Vitalik Buterinが自身の自律型言語モデル（LLM）環境について最新情報を共有し、Ethereumのインフラと人工知能の交差が拡大していることを強調した。彼は、Deepseek V4の2ビット量子化版がAppleのハードウェアでは約90GBのメモリで毎秒35トークンほど動作する一方、AMDでは毎秒7トークンにとどまると述べ、「分散型AI」を「CROPS AI」と区別するには複数のハードウェアベンダー対応が重要だと強調した。Leanコードの執筆に注力したMistralのLeanstralモデルも同様に70GBで動作し、1Tパラメータのモデルと同等の性能を示すという。
Vitalikは、コードのセキュリティを高めるうえで形式検証が果たす役割について詳しく述べ、AI支援による形式検証がSTARKs、コンセンサスアルゴリズム、EVMコンポーネントに適用可能な「エンドツーエンド」のセキュリティ証明を可能にすると提案した。彼はさらに、ブロックチェーンとZK-SNARKsがオープンな検証可能性とプライバシーのスケーラビリティを提供する一方で、AIと形式検証を組み合わせることで精度を回復しつつコード効率を向上させ、相補的な技術スタックを形成すると強調した。
