Well, it looks like he's not a software engineer? That's my only explanation - I can't imagine how any software engineer would claim any system as complex as ca

Well, it looks like he's not a software engineer? That's my only explanation - I can't imagine how any software engineer would claim any system as complex as car infotainment system does not have any possible bugs. Unless they made mathematically rigorous mode of it and achieved a formal proof of it - but then we'd probably have heard about it, because AFAIK it has never been done before.