TY - RPRT TI - Provably safe systems: the only path to controllable AGI AU - Max Tegmark AU - Steve Omohundro PY - 2023 UR - https://arxiv.org/abs/2309.01933 ID - 2309.01933 ER -