What will OpenAI's public ticker be? | PROBLY Prediction Market