It is not known whether or not the stable rational cohomology groups H̃* (Aut(F∞); ℚ) always vanish (see Hatcher in [5] and Hatcher and Vogtmann in [7] where they pose the question and show that it ...