超越宇宙极限：第六位海狸数再次突破，无法用常规数学符号表达

选自quantamagazine 作 者 ： Ben Brubaker 机器之心编译 当数字逃离人类的想象力：BB (6) 的故事。 现在给你一串数字，你能猜到一下个是多少吗：1、6、21、107，47176870…… 如果你没头绪，不必气馁。因为这些数字并不是随意凑出来的，它们就是所谓的 「忙碌海狸数」的前五项。它们构成的数列，与理论计算机科学中最令人头疼的 问题之一紧密相关。要想弄清这些数的具体值，是一项堪称不可攀登高峰的挑战。六十多年来，这个难题不仅吸引了顶尖数学家的持续攻坚，还让无数业余爱好 者为之痴迷，形成了一种独特的「数学文化圈」。 最近，这条探索之路上又出现了新的突破。忙碌海狸猎人们找到了一个全新的冠军程序，它的运行步数之大，以至于用标准的数学符号体系根本无法完整写出。 换句话说，他们已经抵达了 超出常规数学所能承载的境地。 在上世纪六七十年代，研究人员先后确定了前四个忙碌海狸数。而那个远远庞大的 第五个数 BB (5)，直到去年才被彻底锁定 。完成这项壮举的，并不是某个顶尖 实验室，而是一支由业余数学爱好者组成的团队，他们通过一个名为 「Busy Beaver Challenge」的网络社区， ...