Based on the pricing, they unlaunched the wrong one. The price of the 16GB 4080 is way higher than the 3080. Based on pricing alone, it's the 12GB card that should be called the 4080 and the 16GB card called a 4080Ti or Super or 4085 or something.
So hopefully this is a sign that they're going to adjust the pricing of the 16GB 4080 to the price announced for the 12GB former-4080.
So hopefully this is a sign that they're going to adjust the pricing of the 16GB 4080 to the price announced for the 12GB former-4080.
I doubt it, but one can hope.