Какое самое большое число было когда-либо зарегистрировано в рамках математического доказательства?

Число Грэма (также известное как G64 или G) — самое большое число, которое когда-либо использовалось в важном математическом доказательстве. moya-planeta.ru

Это число является верхней границей для решения определённой проблемы в теории Рамсея и названо в честь Рональда Грэма. ru.ruwiki.ru В 1980 году число Грэма было зафиксировано в Книге рекордов Гиннеса. moya-planeta.ru ru.ruwiki.ru

Однако в современных математических доказательствах иногда встречаются числа, ещё больше числа Грэма, например, в работе с конечной формой Фридмана в теореме Краскала — так называемое TREE(3). ru.ruwiki.ru