In 1994, Perelman proved the soul conjecture.
En 1994 Perelman demostrou a conxectura de soul.