Hi there! You're right that company funds might not be usable for efforts like these, but tech magnates have the personal liquidity to fund them. For example, Jeff Bezos has sold around $10 billion in Amazon stock just to fund Blue Origin (which kind of gets at the point I'm making: why do we need all these privately funded space exploration companies?)