AI-mediated distribution of carbon budgets across 6 major trading systems and the global 1.5°C pathway.