Will Anthropic's public ticker be $ANT? — current probability 5% · Market Guy