Can we control artificial intelligence?

Evan Miyazono explains why the lack of AI regulation poses national security threats and why a specification-based approach and formal verification may be the only reliable path to safety. The discussion covers real-world failure scenarios, the divergence of strategies between the U.S. and China, and the role of protocols and property rights in a post-AGI world.