First off, they might be inserted just to be sure, but it is remarkable. A HP OEM GeForce driver designates two graphics cards, the GeForce RTX 30 GA102 GPUs include alternatives in the name of RTX 3070 Ti; and an RTX 3080 Ti.

The list mentions many things, including be 11 GB and 12 GB variants of the RTX 3080 (unreleased engineering samples). An 11 GB model is tied to a 352-bit interface, and the 12 GB thus at 384-bit. This likely is engineering tryout stuff.

The RTX 3080 Ti could carry any number of shader procs but has a 384-bit wide memory bus (indicating 12 GB of memory).  That once again goes against earlier rumors of a 20GB RTX 3080. The driver also lists RTX 3070 Ti. More past news indicated RTX 3070 Ti based on the "GA102" silicon, with 58 shader multiprocessors (7,424 cores) tied towards a 320-bit wide memory interface. Of course, all this is high speculation, though the names are all listed inside that HP driver listing (if that is an official one, of course).

HP OEM Driver Lists GeForce RTX 3080 Ti, RTX 3070 Ti, and RTX 3080 Variants