Busy Beaver Frontier

The Busy Beaver Frontier was a Busy Beaver survey article published by Scott Aaronson in 2020. It describes the Busy Beaver problem, introduced a number of variants (such as the Lazy Beaver and Beeping Busy Beaver) and made a number of conjectures. This article introduced many new people to the Busy Beaver problem and was a major inspiration for the bbchallenge community.

Conjectures

• Conjecture 10: BB(5) = 47,176,870. Proven by bbchallenge in 2024.
• Conjecture 11: ZF cannot prove the value of BB(20). See Independence from ZFC.
• Conjecture 12: PA cannot prove the value of BB(10).
• Conjecture 13: There exists a $n_{0}$ such that for all $n\geq n_{0}$: $BB(n+1)>2^{BB(n)}$.
• Conjecture 18: $BB(n)<\Sigma (n+1)$ for all $n\geq 4$.
• Conjecture 19: $\lim _{n\to \infty }{\frac {\log BB(n)}{\log \Sigma (n)}}=2$
• Conjecture 22: The function $g$ defined in 5-state busy beaver winner eventually terminates for all starting numbers.
• Conjecture 23: For all $n\geq 3$, there is an "essentially unique" n-state Busy Beaver.
• Conjecture 24: Every Busy Beaver Turing machine, viewed as a directed graph, is strongly connected.
• Conjecture 25: $LB(n)\geq {\frac {D(n)}{n^{O(1)}}}$ where LB is the Lazy Beaver function, D(n) is the number of "essentially different" n-state TMs.