10-th Busy Beaver is larger than Graham's number
wiki.bbchallenge.org
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.)