#特朗普支持CFTC管辖预测市场 ビタリック・ブテリンは、自主大規模言語モデル（LLM）の最新設定に関する進展を共有し、イーサリアムのインフラとAIの交差点が絶えず拡大していることを指摘しました。彼は、Deepseek V4がリリースされ、その2ビット量子化バージョンは90GBのメモリ内で動作可能であり、Appleハードウェア上では約35トークン/秒の速度を示す一方、AMDではわずか約7トークン/秒であることを強調し、複数のハードウェアメーカーを真にサポートすることが「分散型AI」と「CROPS AI」の差別化の鍵であると述べました。さらに、MistralがリリースしたLeanstralモデル（Leanコードの作成に特化）は70GB内で動作し、性能は1兆パラメータの大規模モデルに匹敵します。

ビタリックはまた、正式検証がコードの安全性向上に果たす役割について詳述し、AI支援による正式検証はコードの「エンドツーエンド」の安全証明を実現できると考えています。これは、STARK、コンセンサスアルゴリズム、EVMなどのコアコンポーネントに適用可能です。彼は、ブロックチェーンとZK-SNARKがオープンな検証性とプライバシーの拡張性を提供し、AIと正式検証の融合により、コード作成の効率を向上させつつ正確性を再構築できると指摘し、相補的な技術スタックを形成すると述べました。ビタリックは、イーサリアムエコシステムがイーサリアム関連のユースケースに対してモデルの微調整を行い、複数のハードウェアプラットフォームでの効率的なサポートを推進すべきだと呼びかけています。