Provably safe systems: the only path to controllable AGI
14 by antonkar | 3 comments on Hacker News.