That's like 4 times the ESA budget, and still insignificant compared to the money poured into AI. Several companies could cover that budget with quarterly profits.