One take I've seen on this is to use a well known company and then make a pun and go from there.
For instance, in William Hertling's sci-fi series about a Google-like company who inadvertently creates an AI from a simple e-mail autocomplete system, he started with Google's name. Google, from GoogleplexGoogol in math, ormeaning a really big number (10100).
So in his series, the company is called AvogardoAvogadro Inc, named after Avogardro'sAvogadro's number, the number of protons and neutrons in one gram of ordinary matter. There is a lot of potential for other math related company names as a stand in for Google.
FaceBook, Apple, Amazon and Google are commonly referred to as FANG. So you could make a play on FANG Inc which would be a clever wink to those in the know, and would clue them in to what you're going for
Also, in the world of software, there are a couple commonly used company names which might help.
- Contoso Corp
- NorthWind Traders
- Fabrikam
- ProseWare
- AdventureWorks
These are all very commonly used in Microsoft docs and training materials.