Provably safe systems: the only path to controllable AGI

Open in new window