AI安全該怎麼思考？YC Paper Club告訴你

史丹佛大學教授 Clark Barrett 與 Mykel Kochenderfer 主張，AI 安全本質上是工程問題，應透過形式驗證（formal verification）、自適應壓力測試（adaptive stress testing）與多層防禦來解決，而非仰賴法規監管；Barrett 更預測，三到五年內就能打造出可證明安全的系統。