上帝创造了整数，其余的则是我们人类的事了。正因为如此，质数、完全数、Fibonacci 数之类的数列才会让数学家们如痴如醉，因为它们的存在是如此自然，没有任何人造的因素。事实上，数学家们对这些数的认识也越来越丰富，挖掘出了这些数列中越来越深刻的性质。
不过，人类确实太渺小了。还有好多构造异常简单的“纯天然数列”，我们了解得实在太少。Kolakoski 数列就是最好的例子之一。
Kolakoski 数列仅由 1 和 2 构成，其中头 100 个数是
1, 2, 2, 1, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 2, 1,
2, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 2, 2, 1,
1, 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 2, 1, 1, 2,
1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 2, 1, 1, 2,
2, 1, 2, 2, 1, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 2, …
A000002。
关于 Kolakoski 数列，我们知道些什么？很少。我们知道，这个数列可以用递归式 a(a(1) + a(2) + … + a(k)) = (3 + (-1)k)/2 来表达。我们目前已经知道，去掉数列最前面的 1，剩下的部分可以从 22 开始，由替换规则 22→2211，21→221，12→211，11→21 迭代产生。
Kolakoski 数列的第 n 项有非递归的公式吗？目前我们还不知道。已经出现过的数字串今后都还会再次出现吗？目前我们也不知道。还有，我们有理由猜想，数列中 1 和 2 的个数各占一半。下图显示的就是数列前 n 项中数字 1 所占的比例，可见我们的猜想很可能是对的。
不过，目前还没有人能够证明这一点。而最近的一些研究则表明，数字 1 的比例很可能不是 1/2 。当然，还有第三种可能——这个极限可能根本不存在。这无疑又是一个最折磨人的数学未解之谜。