A uniform effective André--Oort result

We prove the André--Oort conjecture for hypersurfaces $V \subset Y(1)^n \cong \mathbb{A}^n_\mathbb{C}$ defined by an equation $a_1 x_1^m + \ldots + a_n x_n^m = b$, where $a_1, \ldots, a_n, b \in \overline{\mathbb{Q}}$ and $m \in \mathbb{Z}_{>0}$. Unlike previous proofs, our result is both effective