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