Salishev 发表论文研究有界停机问题的可判定性
热点事件持续更新
Salishev 发表论文研究有界停机问题的可判定性
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Sergey Salishev 在 arXiv 发表论文（arXiv:2611.06303），研究有界停机问题，即在给定步数预算 T 下判定程序是否停机。论文用带显式加性开销的对角论证证明：不存在固定的确定性校验器，能在 T 的任何固定比例内判定所有实例。 论文将模拟程序与校验器放在同一单位成本时间尺度上，使校验器可被嵌入对抗性程序中；在非确定性情形下，T 约束稳定可观测判定所允许的分支深度。
AI 根据报道生成 · 1 小时前更新
最新进展11月5日 13:00
一篇对有界停机问题与通用机可观测性质的工程解读报道时间线
沿着报道，了解事件的不同侧面。
11月5日
- arXiv cs.AI一篇对有界停机问题与通用机可观测性质的工程解读
Sergey Salishev 在 arXiv 发表的论文研究有界停机问题：在给定步数预算 T 下判定程序是否停机。论文用带显式加性开销的对角论证证明，不存在固定的确定性校验器能在 T 的任何固定比例内判定所有实例；非确定性情形下 T 约束稳定可观测判定允许的分支深度。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。