I asked Grok to estimate the population based on first principles and it also came up with 1.3 billion https://grok.com/share/bGVnYWN5LWNvcHk_af6c7f9a-2b94-4234-820d-a7ad721a3acc