La conjetura de Poincaré es una conjetura matemática planteada por Henri Poincaré en el campo de la topología algebraica. Se refiere a la clasificación de los espacios topológicos mediante grupos de homología y grupos fundamentales. Aún no se ha demostrado ni refutado, por lo que sigue siendo un problema abierto en matemáticas.