Tantangan Berang-berang yang sibuk, pertanyaan yang terkenal sulit dalam ilmu komputer teoretis, sekarang menghasilkan jawaban yang begitu besar sehingga tidak mungkin ditulis menggunakan notasi matematika standar.