Cependant, à la fin des années 60, Roger Penrose et Stephen Hawking ont utilisé des techniques mondiales pour prouver que les singularités sont génériques.
En 1970, Stephen Hawking et Roger Penrose ont prouvé que les trous noirs doivent exister.