The fifth busy beaver value
Research level
Among all Turing machines with 5 states and 2 symbols that halt when started on a blank tape, what is the largest number of steps taken before halting? Determine and prove that every 5-state machine that runs longer never halts.