Mináč–Pál–Topaz–Wittenberg conjecture on universal Koszulity of maximal pro-p Galois groups

Let $p$ be a prime, let $\mathbb{K}$ be a field containing a root of unity of order $p$, and let $\mathcal{G}_{\mathbb{K}}$ be its maximal pro-$p$ Galois group. Suppose that $\mathcal{G}_{\mathbb{K}}$ is finitely generated. Mináč–Pál–Topaz–Wittenberg conjecture. The $\mathbb{F}_p$-cohomology algebra of $\mathcal{G}_{\mathbb{K}}$ is universally Koszul. The conjecture is stated as a strengthening of Koszulity for maximal pro-$p$ Galois groups; the source says that it has been proved in some cases, but does not state a general resolution.