Home Online Mathematical Communication Computational Complexity The New Lower Bound on Busy Beaver of 6.