Thử thách Busy Beaver, một câu hỏi nổi tiếng khó khăn trong khoa học máy tính lý thuyết, hiện đang tạo ra những câu trả lời lớn đến mức không thể viết ra bằng ký hiệu toán học tiêu chuẩn.