An auction to get the Telegram username @artai is in progress.