10-th Busy Beaver is larger than Graham's number(wiki.bbchallenge.org) |
10-th Busy Beaver is larger than Graham's number(wiki.bbchallenge.org) |
(Personally I hope the newly found mathematical prowess of AI's can be put to productive and peaceful use of finding Busy Beavers, and solving numerous Busy Beaver-adjacent questions, beginning with BB(6) and the Collatz conjecture.)