Loday's conjecture on Leibniz homology of abelian groups

Let $G$ be an abelian group, let $\Bbbk$ be a field, let $\mathrm{HL}_n(G,\Bbbk)$ denote Leibniz homology, and let $\mathrm{H}_n(G,\Bbbk)$ denote Eilenberg–MacLane homology. Write $\mathrm{T}^n(G\otimes\Bbbk)$ for the $n$-fold tensor power and $\Lambda^n(G\otimes\Bbbk)$ for the $n$-th exterior power. Loday's conjecture. The Leibniz homology of $G$ has a connected coZinbiel-associative bialgebra structure. For every $n\in\mathbb{N}$, there is an isomorphism

$$\mathrm{HL}_{n}(G,\Bbbk) \simeq \mathrm{T}^n(G \otimes \Bbbk),$$

and, if $\Bbbk$ has characteristic $0$, the natural morphism to ordinary homology is the canonical projection

$$\mathrm{HL}_n(G,\Bbbk) \to \mathrm{H}_n(G,\Bbbk),\qquad \mathrm{T}^n(G \otimes \Bbbk) \to \Lambda^n(G \otimes \Bbbk).$$

This is the abelian-group analogue of the corresponding Leibniz and Chevalley–Eilenberg homology properties for abelian Lie algebras; the supplied text gives no evidence that the conjecture has been resolved.