Yes, if all you consider are the number of devices in use. However once you segment by devices with performance to run a given app and financial demographics that match your target customer, the numbers change.
Anthropic makes money off product sales, not ad revenue, so wallets count more than eyes for this. Free users who are less than 25% as likely to spend are a burden not to be prioritized for a product business with free tier access. They need to spend much more to get a paying user on Android.
If Android were the bigger market, they'd prioritize it