I think they proved it grows with Ackermann function.

Sounds implausible… Number of computational steps to find the shortest sequence maybe grows with Ackermann function. But length of the shortest sequence?

	▲	trixthethird 3 months ago \| parent [-]
		I think you are right. I just read this article linked in the OP: https://www.quantamagazine.org/an-easy-sounding-problem-yiel...