> there's no way to mathematically prove any of it works, either

Or there is, but then you're doing statistics not just ML.