User blog comment:Wythagoras/The nineteenth Busy Beaver number is greater than Graham's Number!/@comment-32697988-20190807222644

"I think that Sigma(17) > G will be proven in five years, but if n is the number of states to beat G, I think that even Sigma(n+2) > G won't be proven within 15 years."

- Wythagoras, August 6, 2014

5 years has passed, and seems like it is still not proven.