Unfortunately you are doing the very thing that you accuse Musk of doing. L5 autonomy is not formalized (nor do I think it is able to be formalized) to the extent that would permit a rigorous proof showing it is isomorphic to the halting problem.
Your claim conflates a nebulous, squishy, human goal with a formally and rigorously proven mathematical problem. The only support offered is links to wikipedia and news articles, none of which help connect the two in an equally formal and rigorous fashion.
Your claim conflates a nebulous, squishy, human goal with a formally and rigorously proven mathematical problem. The only support offered is links to wikipedia and news articles, none of which help connect the two in an equally formal and rigorous fashion.