Will OpenAI's public ticker be $OAI? — current probability 75% · Market Guy