视频选集
一群业余爱好者通过线上协作，利用Coq验证工具，成功计算出理论计算机科学中著名的"忙碌海狸"问题BB(5)的精确值47,176,870。
Url: https://www.youtube.com/watch?v=rmx3FBPzDuk
Title: Amateurs Solve a Famous Computer Science Problem On Discord
Uploader: Quanta Magazine
Uploader ID: @QuantaScienceChannel