Vitalik Buterin: Without AI, יישום מפת הדרכים של Ethereum הנותרים יכול לקחת 20 שנים מייסד האתריום דיבר על המושג Lean Ethereum - קבוצה של עדכוני רשת שמתכננים להיות מיושמים בשנים הקרובות עם השימוש הנרחב של ראיות ZK ואינטליגנציה מלאכותית. על פי בוטרין, טכנולוגיות כאלה ניסו לא ליישם ברמה הבסיסית של Ethereum בגלל סיכון גבוה מדי. כעת הם בוגרים מספיק לשימוש רחב יותר. Buterin מספק תפקיד מיוחד אימות רשמי בעזרת AI - אימות מתמטי של נכונות וביטחון הקוד החדש. הוא מאמין כי השימוש ב-AI יזרז באופן משמעותי את הפיתוח והיישום של עדכוני Ethereum, אשר ללא כלים אלה יכולים למתוח במשך עשורים.