BB(5) = 47,176,870이 증명되었습니다
BB(5) = 47,176,870이라는 Busy Beaver Challenge 200의 목표가 Coq에서 mxdys 협력자에 의해 공식적으로 증명되었습니다. 이 증명은 60년 이상에 걸친 대규모 협력의 결과이며, 10명 이상의 bbchallenge 기여자들이 참여했습니다. 이제 BB(6) 및 다중 기호 busy beaver 값에 대한 연구로 나아갈 계획입니다.