I am not saying that he will solve AGI on his own (he did quit rocket science after all), but you are greatly underestimating the impact he can have in the field. He basically evolved almost on his own two multi-billion dollar markets by doing noticeable technology leaps and finishing things at the right time. That must count for something. I would bet he cannot solve AGI, but he will surely leave something inspiring behind.