The stable Albanese cohomology–graded Lie algebra conjecture for IA_n

Let $\operatorname{Gr}\operatorname{IA}_n$ be the graded Lie algebra associated to the Andreadakis filtration of $\operatorname{IA}_n$. The stable Lie-algebra comparison conjecture. There is a stable isomorphism of graded $\operatorname{GL}(n,\mathbb{Q})$-representations

$$H_A^*(\operatorname{IA}_n,\mathbb{Q})\cong H^*(\operatorname{Gr}\operatorname{IA}_n\otimes\mathbb{Q},\mathbb{Q}).$$

This is proposed as a consequence of the preceding comparison conjectures and remains open.