By combining scientific globe models and mathematical proofs We are going to purpose to construct a ‘gatekeeper’, an AI system tasked with knowing and lowering the risks of other AI agents.           (iv) https://aistudio.ml