Vitalik稱AI可增強網絡安全

據Bankless發布，Vitalik表示，AI在數學領域的突破有望讓形式化驗証變得實用，從而幫助開發者構建更難被攻破的軟件。