Provably Safe Artificial General Intelligence via Interactive Proofs

Methods are currently lacking to <i>prove</i> artificial general intelligence (AGI) safety. An AGI ‘hard takeoff’ is possible, in which first generation <i>AGI<sup>1</sup></i> rapidly triggers a succession of more powerful <i>AGI<sup>n</sup></...

Full description

Bibliographic Details
Main Author: Kristen Carlson
Format: Article
Language:English
Published: MDPI AG 2021-10-01
Series:Philosophies
Subjects:
Online Access:https://www.mdpi.com/2409-9287/6/4/83