If this purported benchmark is on the money, we could be looking at some seriously peppy RTX 5000 mobile graphics cards.