-
公开(公告)号：US20210397998A9
公开(公告)日：2021-12-23
申请号：US16779574
申请日：2020-01-31
摘要： 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. 9) Decentralized applications—AI software code modules encrypted via DLT. 10) Audit trail of component usage stored via DLT. 11) Social ostracism (denial of societal resources) augmented by DLT petitions.
-
公开(公告)号：US20210241149A1
公开(公告)日：2021-08-05
申请号：US16779574
申请日：2020-01-31
摘要： 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. 9) Decentralized applications—AI software code modules encrypted via DLT. 10) Audit trail of component usage stored via DLT. 11) Social ostracism (denial of societal resources) augmented by DLT petitions.
-
公开(公告)号：US20230008689A1
公开(公告)日：2023-01-12
申请号：US17855712
申请日：2022-06-30
摘要： 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. The method applies to value-alignment between future AGI generations of disparate power.
-
-
搜索结果
3 条记录 (耗时 0.013 秒)
