Rapinchuk's bounded-generation conjecture for higher-rank arithmetic groups

Let $\Gamma$ be a noncocompact irreducible arithmetic group, and let $\operatorname{rank}_{\mathbb{R}}\Gamma$ denote its real rank. A group is boundedly generated by unipotent subgroups if it is a product of finitely many unipotent subgroups. Rapinchuk's conjecture. If $\operatorname{rank}_{\mathbb{R}}\Gamma>1$, then $\Gamma$ contains a finite-index subgroup that is boundedly generated by unipotent subgroups. This conjecture is presented as a fundamental arithmetic-group statement that would imply the preceding noncocompact $\operatorname{SL}(3)$ action conjecture through a theorem on actions on the line. Its resolution is not stated.