The .ai registry auctions deleted domains at auction.whois.ai.