Vitalik 這週提出了一個有力的觀點：所有人都在擔心 AI 會破壞網路安全，但實際上防禦方佔據優勢。 他的論點是？當將 AI 與形式化驗證結合時，你可以數學上證明程式碼的安全性，而不是僅僅像打地鼠一樣修補漏洞。以太坊已經開始採用此方法，從一開始就讓協議更具韌性。