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.
Basically all formal proofs assume that the hardware is perfect. Rowhammer.
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.