By combining scientific environment models and mathematical proofs we will purpose to assemble a ‘gatekeeper’, an AI program tasked with being familiar with and reducing the pitfalls of other AI brokers.        https://honeypotz.net