User blog comment:Wythagoras/NEWS! I found a 22-state machine that beats G!/@comment-1605058-20140805111738

I don't think we have proved yet that BB(6)<G, or even BB(5)<G. Not that I consider it likely, but I think 5 and 6 should be in the poll :P