隨著 AI 從雲端進入物理世界（車輛、機器人、基礎設施、防禦系統），錯誤的成本急劇上升。 在這些環境中，「我們測試過」是不夠的。 系統必須能夠證明它們做了什麼、如何做到的，以及在什麼規則下進行。 這就是為什麼我們在大規模推動可驗證的 AI。