Most of these big companies have Ai safety teams that ensure their algorithms are somewhat safe.

There's also a huge field in mathematics/programming on the "Ai control problem" that's proposed many algorithmic solutions for making safe Ai over the past few decades.