Off topic, my initial reaction was it would have been more of a flex if they managed to get the domain gov.ai, since US gov already owns the .gov TLD, but it turns out that this domain is already used by government of Anguilla which already owns the ai TLD.

Looking into this further, I also learnt that in fact selling ai TLD has become a non-trivial part of Anguilla's GDP since chatgpt was released.