By combining scientific globe models and mathematical proofs We'll intention to construct a ‘gatekeeper’, an AI system tasked with knowing and decreasing the hazards of other AI agents. It’s why Google Cloud, in https://aistudio.ml