Kavli Affiliate: Max Tegmark | First 5 Authors: Max Tegmark, Steve Omohundro, , , | Summary: We describe a path to humanity safely thriving with powerful Artificial General Intelligences (AGIs) by building them to provably satisfy human-specified requirements. We argue that this will soon be technically feasible using advanced AI for formal verification and mechanistic […]
Continue.. Provably safe systems: the only path to controllable AGI