I’m interested in the problem of simultaneous rational approximation to $k\geq 2$ numbers $\alpha_1,…,\alpha_k$ in the generic case where the $\alpha_j$ are *transcendental* and algebraically independent. More precisely, what is the largest $m$ such that there exists an infinite sequence of positive integer denominators $q$ and corresponding integers $n_j$ (depending on q) such that

$|\alpha_j-n_j/q|<1/q^{m+1/k}\qquad (1\leq j\leq k)$

Alternatively, what is the largest $m$ such that the above holds for except on a set of $k$-tuples $(\alpha_1,\ldots,\alpha_k)$ of measure 0. The classical Dirichlet theorem shows $m\geq 1$ (with no exceptions). But is the generic value $m\geq 2$? I'm hoping that this is well known among number theorists; any pertinent references would be much appreciated.