“So, between 5 and 6 is where the Busy Beaver function makes its leap, from the millions to beyond the bounds of observable reality.”
BB(5) is 47,176,870. The lower bound for BB(6) is now at least 2 pentated to 5, a number with no physical meaning. Amateurs in the bbchallenge project proved it with machine-checked proofs.