Let $(M, g)$ be a closed smooth Riemannian manifolds with Anosov geodesic flow, does it implies that $M$ is an aspherical manifold? I am thinking it is not known yet?