arXiv · AI· Sergey Salishev·· 8 小时前AI 评分25
有界停机问题的工程解读与通用机器的可观测属性
An Engineering Reading of the Bounded Halting Problem and Observable Properties of a Universal Machine
AI 导读
论文定义了有界停机问题，证明无固定确定性检查器能在小于 1 的 T 比例内解决所有实例。 针对有限通用性提出对抗性测试，区分可扩展资源固定模型、随 T 增长的模型族及更大系统。 明确了机器学习系统中通用性主张所假设的资源增长特性。
来源：arXiv · AI · arxiv.org