Post #337

Представьте, что вам показывают ряд чисел: 1, 6, 21, 107 и — внимание! — 47 176 870 Кажется естественным спросить: какое число идёт дальше? Эти значения — первые пять членов так называемой последовательности «занятого бобра» Она связана с одной из самых глубоких и трудных проблем теоретической информатики Вычисление её членов оказывается настолько сложным, что уже более шестидесяти лет этой задачей занимаются и профессиональные математики, и энтузиасты Первые четыре числа были установлены ещё в 1960–1970-х годах Пятое же, BB(5), оказалось во много раз больше предыдущих и лишь недавно — в прошлом году — было окончательно определено благодаря совместной работе группы любителей-исследователей в онлайн-сообществе Busy Beaver Challenge А вот значение шестого числа, BB(6), остаётся неизвестным Известны лишь нижние границы, и они колоссальны В 2022 году удалось доказать, что BB(6) настолько велико, что его невозможно даже записать привычным способом: если бы каждую цифру пытаться нанести на атом, атомы Вселенной закончились бы задолго до того, как удалось бы зафиксировать хоть сколько-нибудь значимую часть числа Учёный-информатик Скотт Ааронсон (Техасский университет в Остине) подчеркнул: это величина, которую мы не в силах ни вообразить, ни тем более «удержать в руках» И всё же охотники за «бобрами» продолжают двигать границы Недавно один из самых активных и загадочных участников конкурса сумел доказать новый, ещё более впечатляющий нижний предел для BB(6) — и менее чем через две недели снова превзошёл собственный рекорд По сравнению с его результатами оценка 2022 года выглядит микроскопической Как заметил информатик Уильям Гасарч (Университет Мэриленда), шестое число буквально возносит нас в мир запредельных величин