The Internet Just Solved a 40-Year-Old Computer Science Mystery
Quanta Magazine · 11:47 · Watch on YouTube
2024년에 약 20명의 아마추어와 연구자들로 이루어진 온라인 그룹(일부는 익명)이 다섯 번째 Busy Beaver 수, BB(5)가 47,176,870 단계임을 증명했습니다. 이는 Heiner Marxen과 Jürgen Buntrock이 수십 년 전에 발견한 후보 기계를 확인했습니다. 이 영상은 Busy Beaver 게임, 정지 문제와의 연결, 그리고 팀워크, 자동화된 "결정자"와 C...