En particular, ha demostrado la conjetura de geometrización de Thurston, con lo que se ha logrado resolver la famosa conjetura de Poincaré, propuesta en 1904 y considerada una de las hipótesis matemáticas más importantes y difíciles de demostrar.