Forcing axioms and trivial automorphisms of corona algebras

Let $A$ be a separable, non-unital C*-algebra, and let $Q(A)$ denote its corona algebra. An automorphism of $Q(A)$ is trivial if its graph, viewed in the multiplier algebra with the strict topology, is Borel; a nontrivial automorphism is one that is not trivial.

Forcing-axiom conjecture. Forcing axioms imply that $Q(A)$ has only trivial automorphisms.

This conjecture is the forcing-axiom counterpart to the Continuum Hypothesis assertion: it predicts rigidity of corona algebras under suitable additional set-theoretic axioms. The source does not specify whether it has been resolved.