I have a two-fold question - theoretical and practical. Where do I ask it?
Does Rice's theorem imply safe AI is undecideable?
(Meaning "safety", for any reasonable definition of safety, cannot be decided in general for Turing machines, including AI.)
This question could be rigorously proved.
Given the safety of AI cannot be rigorously guaranteed (that is, for all reasonable definitions of "safe", you cannot prove AI is "safe"), why isn't there mass concern regarding AI safety?
This is the question I want to ask. Where do I ask it?