By combining scientific planet types and mathematical proofs We are going to goal to build a ‘gatekeeper’, an AI technique tasked with knowledge and lowering the risks of other AI agents.           (i)  https://aistudio.ml