Yes, an unsafe AI cannot be boxed on unsafe hardware, not can any AI running on physical hardware be made immune to attacks—but those are very different questions. For this question, first we assume that a provably safe AI can be written, then I wanted to ask what language would be needed.
Yes, an unsafe AI cannot be boxed on unsafe hardware, not can any AI running on physical hardware be made immune to attacks—but those are very different questions. For this question, first we assume that a provably safe AI can be written, then I wanted to ask what language would be needed.