Skelet #17 与第五个忙碌海狸数
Skelet #17 and the fifth Busy Beaver number
AI总结：
本文证明了最难分析的五状态二符号图灵机 Skelet #17 不停机，并结合 Busy Beaver Challenge 的成果确定第五个忙碌海狸数 BB(5) = 47,176,870。
摘要：
我们证明了被称为“Skelet #17”的图灵机不停机，该图灵机被认为是分析难度最大的五状态、二符号图灵机之一。结合 Busy Beaver Challenge 项目的努力，我们因此能够证明第五个忙碌海狸数 BB(5) 等于 47,176,870。
英文摘要：
We prove nonhalting of the Turing machine dubbed "Skelet #17", known to be one of the toughest 5-state, 2-symbol Turing machines to analyze. Combined with the efforts of The Busy Beaver Challenge, we are therefore able to show that BB(5), the fifth Busy Beaver number, equals 47,176,870.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
