繁忙的海狸挑战是理论计算机科学中一个臭名昭著的难题，现在产生的答案大到无法用标准数学符号书写。