On the isomorphism problem of enveloping algebras Let $\mathfrak{g}$ and $\mathfrak{g}'$ be Lie algebras. It is known that if $U(\mathfrak{g})\cong U(\mathfrak{g}')$ as associative algebras, then it is not necessarily true that $\mathfrak{g}\cong \mathfrak{g}'$ as Lie algebras.
I am looking for examples such that $U(\mathfrak{g})\cong U(\mathfrak{g}')$ as algebras but $\mathfrak{g}\not\cong \mathfrak{g}'$ as Lie algebras (over an algebraically closed field). Moreover, are there examples such that the categories $U(\mathfrak{g})-\text{Mod}$ and $U(\mathfrak{g}')-\text{Mod}$ are not monoidally equivalent?
I'm not very familiar with the isomorphism problem for enveloping algebras, a quick google search only gave me counterexamples in positive characteristic. I'd be very happy with examples in characteristic zero (infinite dimensions are allowed). I'm more into the monoidal stuff and might figure out myself whether the representation categories are monoidally equivalent.
Edit: I'm asking this because I naturally encountered a quantized version of this problem. Obviously the categories $U(\mathfrak{g})-\text{Mod}$ and $U(\mathfrak{g}')-\text{Mod}$ are Morita equivalent but there is more information here. First of all $U(\mathfrak{g})\cong U(\mathfrak{g}')$ as algebras which clearly is stronger but they are also enveloping algebras of Lie algebras, further restricting possibilities. In the quantized version I'm looking at, I suspect the representation rings of both categories to be the same making the difference in the monoidal structure very subtle. So I'm wondering whether anything on this subject is known in the non-quantized world.
 A: In the recent paper Lie, associative, and commutative quasi-isomorphism, R. Campos, D. Petersen, F. Wierstra, and I settled the question above for nilpotent Lie algebras: if two nilpotent Lie algebras have universal enveloping algebras that are isomorphic as unital associative algebras, then the two Lie algebras also are isomorphic.
In fact, we proved a more general result in the differential graded context:

Theorem B: Let $\mathfrak{g}, \mathfrak{h}$ be two dg Lie algebras. If $U\mathfrak{g}$ and $U\mathfrak{h}$ are quasi-isomorphic as unital associative dg algebras, then the homotopy completions $\mathfrak{g}^{\wedge h}$ and $\mathfrak{h}^{\wedge h}$ are quasi-isomorphic as dg Lie algebras.

This has the statement above as a corollary, since one can show that a Lie algebra that is either strictly positively graded or non-negatively gradedand nilpotent is always quasi-isomorphic to its homotopy completion (in the language of the paper, it is homotopy complete). There are other interesting implications of this result in rational homotopy theory.
In my view (my coauthors might disagree) the spirit of the proof is mostly deformation theoretical, but operad theory play a big supporting role. For those who are interested in the structure of the proof without the technical details, we give a sketch of the arguments in paragraphs 0.27-0.31.

In a previous version of this answer and of the paper, we claimed that the more general statement that if two dg Lie algebras have universal enveloping algebras that are quasi-isomorphic as associative dg algebras, then the two dg Lie algebras are themselves quasi-isomorphic. Unfortunately, the proof had a gap that we were not able to fix. This more general statement remains open.
A: FWIW, a ten year old article states: "We stress that, in spite of all this, the
characteristic zero case of the isomorphism problem remains entirely open."
(https://link.springer.com/article/10.1007/s10468-007-9083-0)
