#特朗普支持CFTC管辖预测市场 فيتاليك بوتيرين يشارك أحدث التطورات في إعداد نماذجه اللغوية الكبيرة (LLM) المستقلة، مشيرًا إلى أن تقاطع بنية تحتية إيثريوم مع الذكاء الاصطناعي يتوسع باستمرار. ذكر أن إصدار Deepseek V4 قد تم إطلاقه، وأن نسخته ذات التكميم 2-بت يمكن تشغيلها داخل ذاكرة 90 جيجابايت، وتعمل بسرعة حوالي 35 رمز/ثانية على أجهزة أبل، ولكن على AMD تكون السرعة حوالي 7 رموز/ثانية فقط، مؤكدًا أن دعم العديد من شركات الأجهزة هو المفتاح لتمييز "الذكاء الاصطناعي اللامركزي" عن "الذكاء الاصطناعي CROPS". بالإضافة إلى ذلك، فإن نموذج Leanstral الذي أطلقته Mistral (المركز على كتابة كود Lean) يمكن تشغيله داخل 70 جيجابايت، ويُعادل أداؤه نماذج ذات 1 تيرابايت من المعلمات.

كما شرح فيتاليك بالتفصيل دور التحقق الرسمي في تعزيز أمان الكود، معتبرًا أن التحقق الرسمي المدعوم بالذكاء الاصطناعي يمكن أن يحقق إثباتات أمان "من النهاية إلى النهاية" للكود، ويشمل مكونات أساسية مثل STARK، وخوارزميات الإجماع، وEVM. أشار إلى أن البلوكشين وZK-SNARK يوفران قابلية التحقق المفتوحة وقابلية التوسع في الخصوصية، وأن الجمع بين الذكاء الاصطناعي والتحقق الرسمي يمكن أن يعيد بناء الدقة مع تحسين كفاءة كتابة الكود، مكونًا مجموعة تقنيات تكاملية. دعا فيتاليك مجتمع إيثريوم إلى إجراء تعديل دقيق على النماذج لتتناسب مع حالات استخدام إيثريوم، وتعزيز الدعم الفعال عبر منصات الأجهزة المختلفة.