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