Busy Beaver 수 BB(6)가 예상치를 훨씬 뛰어넘다

최근 Busy Beaver 이론의 발전으로 6번째 Busy Beaver 수인 BB(6)의 하한선이 크게 상향 조정되었습니다. 처음에는 10을 15번 거듭제곱한 수보다 크다고 추정되었지만, 이제는 훨씬 더 크다는 것이 밝혀졌으며, 심지어 2^^^^9(2를 4번 테트레이션한 수)도 넘어섭니다. 이 놀라운 도약은 BB(n)이 집합론의 ZFC 공리계로부터 독립되는 시점이 이전에 생각했던 것보다 훨씬 더 빠를 수 있음을 시사하며, 함수의 성장에 대한 재평가와 계산 이론에 대한 새로운 과제를 제기합니다.