Mostly, “provably secure” means all layers, unless there’s a fair bit of fine print with it.
I don’t think that’s possible. Then “provably secure” would have to include a proof that our model of physics is correct and complete.
More generally, a “proof” is something done within a strictly-defined logic system. By definition it makes assumptions, and proves something given those assumptions.
I don’t think that’s possible. Then “provably secure” would have to include a proof that our model of physics is correct and complete.
More generally, a “proof” is something done within a strictly-defined logic system. By definition it makes assumptions, and proves something given those assumptions.
And also a proof that Bob from accounting can’t be convinced to let the AI use his phone for a minute. That’s a very tall order.
Yup. Layer 8 issues are a lot harder to prevent than even Layer 1 issues :)
Could you prove it? :)
Btw. we have to assume that these papers are written by someone who wants slyly to switch some bits in our brain!!