AI安全問題變得更加迫切。為什麼只要求LLMs寫代碼？真正的挑戰是要求它們在提供代碼的同時，提供可驗證的正確性證明。沒有正式驗證，我們基本上是在盲目部署AI系統。

值得關注的是：大約80%的主要語言模型——包括Claude在內——都從Common Crawl獲取訓練數據。這是一個被忽視的巨大數據依賴問題。

但有一個值得關注的新興解決方案。專為AI/ML模型安全設計的區塊鏈治理平台正開始成形。想像一下分散式驗證層，能在大規模範圍內以加密方式確保模型完整性和決策透明度。這正是行業亟需填補的基礎設施空白。

正式驗證、模型透明度與去中心化監管的融合，或許能真正重塑我們對AI部署風險的應對方式。