Integrability of degree n Q-manifolds via the Lie functor
Establish whether the differentiation functor Lie from the category of Lie n-groupoids to the category of degree n Q-manifolds is essentially surjective; equivalently, determine whether every degree n Q-manifold (i.e., every Lie n-algebroid) integrates to a Lie n-groupoid up to Morita equivalence.
References
Integrability: The problem of integrability, i.e. understanding if the functor Lie is essentially surjective, remains open.
                — Lecture notes on the symplectic geometry of graded manifolds and higher Lie groupoids
                
                (2510.09448 - Cueca et al., 10 Oct 2025) in Section 5.3, On the Lie functor (item 1: Integrability)