It sounds like a lot to me, but it's worth noting that there are individuals with more money than that (and certainly plenty of tech companies who could invest

It sounds like a lot to me, but it's worth noting that there are individuals with more money than that (and certainly plenty of tech companies who could invest that much). The Gates Foundation alone could fund that investment.