← All seminars Provable AI Safety Steve Omohundro May 2024 An approach to AI safety grounded in the laws of physics and mathematical proof as the only guaranteed constraints for powerful AGI. Watch recording ← Previous Synthesizing Gatekeepers for Safe Reinforcement Learning Next → Gaia: Distributed planetary-scale AI safety