3 ms·
Why isn't car driving AI put to the same rigour of testing and approval as that of airplanes? There are far more people on the road than in the sky, and yet, th
by arithma 9y ago
Why isn't car driving AI put to the same rigour of testing and approval as that of airplanes?
There are far more people on the road than in the sky, and yet, there's formal verification for airplane autopilot code but an accident like this is supposed to be "you couldn't have prevented it either?"
If no one could prevent such a thing, this AI should never drive a car!
- ltrcola 9y agoMore rigor is definitely required, but it may not be possible to formally verify AI driven code to the same extent. Aviation software is driven from formal requirements, has a strict set of coding rules, and the generated assembly code is compared to the original source code. Within the coding rules, the software isn't even allowed to dynamically allocate memory. I have no idea how you'd build an AI system with those constraints, given that the computer essentially programmed the model itself by learning.