Original: However, in the late sixties Roger Penrose and Stephen Hawking used global techniques to prove that singularities are generic.
Simplified: In 1970, Stephen Hawking and Roger Penrose proved that black holes must exist.