How AI-powered video compression could make an honest man out of Elon Musk