实体
Jose Pascual Gumbau Mezquita
Jose Pascual Gumbau Mezquita
PulseAugur coverage of Jose Pascual Gumbau Mezquita — every cluster mentioning Jose Pascual Gumbau Mezquita across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新算子证明自修改系统属性的不可判定性
一篇新论文介绍了一种名为语义提升算子（Semantic Elevation Operator）的形式化方法，用于分析自修改系统的属性在转换过程中是否得以保持。该算子使用克莱尼递归定理（Kleene's recursion theorem）进行形式化，证明即使在打破Rice定理所需的“外延性”（extensionality）的情况下，提升后的属性仍然是不可判定的。研究表明，不可验证属性的类在此算子下是闭合的，导致了 \b{\Pi}^0_…
-
AGI对齐因结构不可验证性而被证明是不可判定的
一篇新发表在arXiv上的论文确立了人工智能通用（AGI）安全性的理论极限，证明了核心挑战并非对齐状态的不可能性，而是其结构上的不可验证性。该研究引入了对齐不可验证性定理和AGI对齐有限结构不可验证性定理，并将这些限制置于Trakhtenbrot的墙壁之内。这些发现表明，依赖于有限硬件或停机架构的当前工程防御措施无法克服根本的逻辑障碍，从而导致了不可避免的三个遏制失败的困境。