2 problems

Koszulness and freeness conjecture. If $\mathrsfs{O}$ is a Koszul operad, then:

Freeness conjecture. The $\fontfamily{U}\fontshape{n}\selectfont{As}^2$-subalgebra of $NCK$ generated by elements of degree $1$ is a free algebra over the operad of two compatible…