Is there a formal proof that FSD requires the same level of intelligence of AGI? Stereo vision can be built from cameras as well, even with a single moving cam

Is there a formal proof that FSD requires the same level of intelligence of AGI? Stereo vision can be built from cameras as well, even with a single moving camera. This is exactly what tesla is doing with their new DNN but with multiple cameras. I don’t disagree with you that Tesla is still far away from FSD, but using what’s not possible today to draw the conclusion that a goal is not achievable in the future is the opposite of first principle thinking. 10 years ago i could also say go AI can’t even beat semi-pro so we will never be able to solve Go with AI.