I would say go for the AMD , but I would like to add also check the brand variant of the card , for example I noticed a 6900xt xfx speedster merc is the same cost as the 6900xt xfx speedster merc black is , and the latter is a bit faster or rather a better "binned" card.
as for a 3080, well...