Conseguiría probar la conjetura en 1973, y recibiría la medalla Fields en 1978.