Many ML models are not based on a probability distribution with which you can determine statistical significance, and many are not set up to determine statistical significance. In such cases these models ordinarily reach some type of convergence criterion (e.g., the MSE delta between iterations goes below a threshold).
However, you can employ empirical hypothesis testing (p-value testing) for any model by (a) first determining the observed $MSE_{obs}$ via a single run from $k$-fold CV, and (b) then run $B=1000$ iterations (1000 runs) for $k$-fold CV but this time with permuted class labels of test objects (in test folds), each time getting $MSE^{(b)}$. Before each of the $B=1000$ iterations using $k$-fold CV with permuted class labels of test objects, it helps to "re-partition" all objects and assign them to different folds. This merely re-orders all objects before assigning to the folds -- and is a way to have different objects in each fold during each iteration.
When done, an "empirical p-value" will be equal to
$P=\frac{\#\{MSE^{(b)}<MSE_{obs} \} }{B}$
where the p-value is equal to the number of times the MSE from test objects with permuted labels is less than the MSE from test objects of the non-permuted labels, divided by the number of iterations. Looking at the logic of the above equation, if your model is not very predictive of outcome, either during classification analysis or function approximation (regression) the MSE will be high. If your model is junk and the observed $MSE_{obs}$ is very high, like 0.4, then the $MSE^{(b)}$ from prediction when class labels are permuted could be lower during many iterations. If $MSE^{(b)}$ is lower than $MSE_{obs}$ 400 times out of 1000 iterations, then the p-value is 0.4. However, if your model is very predictive, and the number of times $MSE^{(b)}$ is less than $MSE_{obs}$ is 1/1000, then the p-value is 0.001, which is highly significant.
A main problem with empirical p-value testing, however, is that it is sometimes difficult to enforce the null hypothesis for whatever you are doing. But empirical p-value testing is used exclusively in statistical genetics a lot. The only modification done if many genes are involved is that the p-value criterion ($\alpha=0.05$) for significance undergoes a Bonferroni adjustment for the multiple testing problem to become
$P^* = \frac{0.05}{\#tests}$
where $\# tests$ is equal to the number of genes evaluated. A bar graph is then made plotting $-\log(P)$ for each gene with a reference line for significance called "Bonf" which is equal to $-\log(P^*)$. [there are other adjustments for multiple testing such as Benjamini-Hochberg, Storey q-values, Westfall-Young, etc., so it's a matter of stringency for determining the false discovery rate ($FDR$)].
In summary, there are ways to easily navigate around the problems you raise about lack of statistical testing in ML, since empirical p-value testing allows you turn anything into a hypothesis test for significance.