Gradient Descent Provably Optimizes Over-parameterized Neural Networks | Read Paper on Bytez