computability-theory

该研究将人工智能开发建模为一个转移系统，以探索AGI的形式可达性，使用模态逻辑和可计算性理论区分基本、稳定和安全可达性。