[thesmtsolver2]

Will you trust code like this to run airplanes?

Remember, even Waymo has a ton of non-AI code it is built upon. We will still have PyTorch, embedded systems software, etc.