«Занятой бобёр»: почему математики спорят о числе из миллионов шагов
Busy Beaver превратился в культурный феномен: после доказательства BB(5) в 2024 году в 2025-м обсуждают новую цель — BB(6).