The Turing Award winner launched nonprofit LawZero with $30M to build safe-by-design AI. He says the industry's race toward agentic systems is turning theoretical risks into practical ones.