Coq

Занятой бобёр вышел из-под контроля: машина Тьюринга из 10 состояний обогнала число Грэма

Точное значение BB(10) всё ещё неизвестно, но пространство для будущего рекорда стало ещё чудовищнее.