Terao's conjecture on logarithmic comparison for hyperplane arrangements

Let $\mathscr{A}$ be a central hyperplane arrangement, let $\Omega^\bullet(\log\mathscr{A})$ be its logarithmic differential-form complex, and let $\operatorname{OS}(\mathscr{A})$ be the Orlik–Solomon algebra generated by the forms ${\mathrm d}\alpha_i/\alpha_i$. The natural inclusion is

$$\operatorname{OS}(\mathscr{A})\to\Omega^\bullet(\log\mathscr{A}).$$

Terao's conjecture. The inclusion

$$\operatorname{OS}(\mathscr{A})\to\Omega^\bullet(\log\mathscr{A})$$

is a quasi-isomorphism.

Brieskorn proved the analogous quasi-isomorphism from the Orlik–Solomon algebra to the meromorphic de Rham complex, and the source identifies this logarithmic comparison as the prominent open problem in the area. It gives no resolution evidence for the stated claim.