User blog comment:WaxPlanck/The 80th Xi Number Is Super Big/@comment-1605058-20171117074319/@comment-30754445-20171120053319

Any reasonable lower bounds known?

The best I've seen published is Hollom's 68-combinator string that's at the ωx2 level, but surely we could do much better?