One thing I’m hoping we see: as laws become more tech-driven, perhaps we can compile them from a (more) formal model of sorts. If we can open these up too, then

One thing I’m hoping we see: as laws become more tech-driven, perhaps we can compile them from a (more) formal model of sorts. If we can open these up too, then we can get laws which express the cost functions more directly. A big problem I see is that laws are too often uni-directional, “lack of x is bad so restrict y”, and then break decades later when we have the opposite problem (“too much x, maybe y is good right now”). Maybe I’m expecting too much here, but I think the process of authoring AI laws will likely include more modeling, having the AI predict outcomes, and ensuring that they agree with what you intend. (It’s the alignment problem in microcosm; legislators will immediately be unable to tell if an AI law does what they asked, so for such tools to be trusted more validation modalities will be needed.)