That Waymo CEO quote is about feasibility of fully autonomous driving in snow / rain. Seems unreasonable to even expect that. But I don't think it's as intractable as the halting problem. There's no formal proof against feasibility of L5.

But as far as Musk, yes he lies and isn't shy about it. It's shameless and overt. Perhaps he justifies it as being part of his job.