AI-assisted proof shows faster convergence for stochastic multi-gradient descent in multi-objective learning | arXiv News