葛立恒数曾经被视为在正式数学证明中出现过最大的数，后来则被TREE(3)取代。

在正式数学证明中使用过的最大数是葛立恒数，它此前作为世界上最大的数被收入于吉尼斯世界纪录之中，其无法用科学记数法表示，就连a^(b^(c^(…)))这样的指数塔形式也无济于事，甚至连数学家都难以理解它。