A bit off-topic, but how much does a 4-letter (or less) .com go for these days? I wonder if they bought this via an intermediary so that the seller wouldnt see "OpenAI" and tack on a few zeros.

edit: previously, this thread pointed to sora.com