The Littlewood conjecture is an example that meets all my requirements.
It is easy to state and obviously $\Pi^1_1$. Furthermore this comment by Christian Reiher gives me confidence that it has no known reduction to an arithmetical sentence. (Hopefully it even lacks a known reduction to a $\Sigma^1_1$ sentence.)