En 1996, regresó a San Petersburgo, al Instituto Steklov de Matemáticas, donde trabajó solo en la prueba de la conjetura de Poincare.