 More precisely, he proved that "G" has growth "b"("n") that is faster than formula_2 but slower than formula_3 where formula_4.The upper bound was later improved by Laurent Bartholdi to

A lower bound of formula_6 was proved by Yurii Leonov.The precise asymptotics of the growth of "G" is still unknown.