哥德尔之墙围困AI  

作　　者：Roman Ikonicoff 竹叶(编译) 

机构地区：[1]不详

出　　处：《新发现》2020年第3期56-60,共5页Science & Vie

摘　　要：这是人工智能(AI)无形但固有的危险:我们不可能确切地知道,它们是否严格按照人类的旨意行事。得益于逻辑学家库尔特·哥德尔的成果,研究人员已将这种威胁AI未来的"不可判定性"理论化。"AI不仅是一项有望为经济、社会和世界带来革命性变化的新技术,它还是一门新科学。但它同时极度缺乏理论基础,我们的探索其实有走进死胡同的风险。"

关 键 词：哥德尔 不可判定性 逻辑学家 库尔特 极度缺乏 AI 理论化 死胡同 

分 类 号：B81[哲学宗教—逻辑学]