L'Américain Ian Agol a prouvé une conjecture de géométrie énoncée en 1982 par William Thurston dans le cadre d'un vaste programme qui englobait notamment la conjecture de Poincaré.