3 ms·
If that model is inaccessible to the people that are trying to assure safety then it's not particularly material if it exists or not when it comes to safety
by placeybordeaux 10y ago
If that model is inaccessible to the people that are trying to assure safety then it's not particularly material if it exists or not when it comes to safety
- pizza 10y agoActually, you can do better than that https://en.wikipedia.org/wiki/Verifiable_computing https://en.wikipedia.org/wiki/Verifiable_computing https://en.wikipedia.org/wiki/Zero-knowledge_proof https://en.wikipedia.org/wiki/Zero-knowledge_proof
- placeybordeaux 10y agoI am specifically talking about the situation of trying to verify that a self driving car has a reasonable model of the world, i.e. it won't fail in a spectacular way in a situation a human would handle properly. Right now I don't know how to show this even without complicating it with ZKPs, verifiable computing or homomorphic encryption. Really cool work, I just don't see how it has anything to do with the safety of the AI.
- deleted 10y ago[deleted]