The Artinian first Koszul homology generator conjecture

Let $(A,m)$ be an Artinian local ring, and let $x_1,\ldots,x_n\in m$. Write $H_1(x_1,\ldots,x_n;A)$ for the first Koszul homology module of the sequence on $A$. Artinian Koszul homology conjecture. The module $H_1(x_1,\ldots,x_n;A)$ has at least $n$ generators as an $A$-module. This conjecture is related to the Tor generator conjecture above and is used to study lower bounds for generators of first Koszul homology over Artinian rings. The source provides no resolution status.