Ideally they'd get behind a strict subset of typed python that could be compiled the same way that cython is. Numba, PyTorch JIT and Jax are already handling a decent chunk of the language.
Numba gives you JIT compilation annotations for parallel vector operations--it's a little bit like OpenMP for Python, in a way.