Можем ли мы контролировать искусственный интеллект?

Эван Миядзоно объясняет, почему отсутствие регуляции в сфере ИИ создаёт угрозы национальной безопасности, и почему спецификационный подход и формальная верификация могут быть единственным надёжным путём к безопасности. Разбираются реальные сценарии сбоев, расхождение стратегий США и Китая, а также роль протоколов и прав собственности в мире после AGI.