No. If you're talking about a mathematical proof that GR predicts the existence of black holes, that was proved by Roger Penrose, not Hawking. If you're talking about a scientific proof that black holes really exist, there is no such thing. Hawking radiation is a different topic altogether.