AI 使代碼不安全？這不一定是事實。 Vibecoding 和 AI 編碼可以與形式驗證結合。 這可以幫助更早地發現錯誤，並通過正式驗證實現滿足規範來保證代碼的正確性。