Abstract: A method to prove the safety (e.g., value-alignment) and other properties of artificial intelligence systems possessing general and/or super-human intelligence (together, AGI). The method uses probabilistic proofs in Interactive proof systems (IPS), in which a Verifier queries a computationally more powerful Prover and reduces the probability of the Prover deceiving the Verifier to any specified low probability (e.g., 2?100) IPS-based procedures can be used to test AGI behavior control systems that incorporate hard-coded ethics or valuelearning methods. An embodiment of the method, mapping the axioms and transformation rules of a behavior control system to a finite set of prime numbers, makes it possible to validate safe behavior via IPS number-theoretic methods. Other IPS embodiments can prove an unlimited number of AGI properties. Multi-prover IPS, program-checking IPS, and probabilistically checkable proofs extend the power of the paradigm.

Abstract: in an artificial general intelligence system that is safe for humans, distributed ledger technology (DLT, ‘blockchain’) is integral to the methods to reduce the probability of hacking, provide an audit trail to cheaply detect and correct errors or identify components causing vulnerability or failure and replace them or shut them down remotely and/or automatically. Smart contracts based on DLT are necessary to address evolution of AI that will be too fast for human monitoring and intervention. Proposed methods of a safe AGI system: 1) Access to technology by market license. 2) Transparent ethics embodied in DLT. 3) Morality encrypted via DLT. 4) Behavior control structure with values (ethics) at roots. 5) Individual bar-code identification of all critical components. 6) Configuration Item (from business continuity/disaster recovery planning). 7) Identity verification secured via multi-factor authentication and DLT. 8) ‘Smart’ automated contracts based on DLT.

Abstract: in an artificial general intelligence system that is safe for humans, distributed ledger technology (DLT, ‘blockchain’) is integral to the methods to reduce the probability of hacking, provide an audit trail to cheaply detect and correct errors or identify components causing vulnerability or failure and replace them or shut them down remotely and/or automatically. Smart contracts based on DLT are necessary to address evolution of AI that will be too fast for human monitoring and intervention. Proposed methods of a safe AGI system: 1) Access to technology by market license. 2) Transparent ethics embodied in DLT. 3) Morality encrypted via DLT. 4) Behavior control structure with values (ethics) at roots. 5) Individual bar-code identification of all critical components. 6) Configuration Item (from business continuity/disaster recovery planning). 7) Identity verification secured via multi-factor authentication and DLT. 8) ‘Smart’ automated contracts based on DLT.