查看“︁2025年中文大数社区十大事件”︁的源代码

大数数学（[[Googology]]，ggg）是系统性地研究如何构造大自然数的数学分支。中文大数社区是一个致力于发展大数数学理论的中心化业余数学社区，它以一系列 QQ 群为核心，其成员为较为严肃的大数数学爱好者。广义的中文大数社区包含中文互联网上所有关心和讨论大数数学相关问题的人。

本词条总结了 2025 年中文大数社区影响力最大的 10 个事件（进展），按照时间顺序进行排列。以下内容来自<ref>[https://zhuanlan.zhihu.com/p/1988997637857358320 2025年中文大数社区十大事件]</ref>

== 1. blp 与 DEN 的定义 ==
 [[Laver Table|laver table 函数]]的增长速度能不能超过 [[皮亚诺公理体系|PA]] 可证极限(<math>\varepsilon_0</math>)是 Dougherty 在 30 年前提的问题。这个问题是有不少关注的，虽然也没有特别多，但经常能在科普文中看到，有个数学物理学家还在他的博客里讲过这个文章。它被认为极度困难。30 年来毫无进展。30 年后，它被一篇完全是基于 ggg 思想的论文解决了。—— test_alpha0，2025.12.21
1992 年，Laver 提出了 Laver Table，并定义了与之相关联的 Laver Table 函数。这个函数的完全性需要在 \mathrm{ZFC+I3} 之中才能够得到证明。人们期望这是一个增长十分迅速的大数函数，然而长期以来，研究者们始终不能够证明这一点。

为了解决这一问题，研究者们付出了许多努力。2023 年， test_alpha0定义了 Laver Table Yarn（LTY）作为 Laver Table 的扩展，其完全性需要在 \mathrm{ZFC+I1} 之中才能够得到证明。

2025 年 1 月 3 日，Renrui Qi 在论文中证明 Laver Table 函数的增长速度超越了一切能够在皮亚诺公理系统中可证完全性的函数。所有公理体系的证明能力都有极限，皮亚诺公理只能证明 \varepsilon_0 以下的良序结构。因此用更为大数数学研究者熟悉的话说，这意味着 Laver Table 函数的增长率至少达到了 \varepsilon_0 。

为了证明这一点，作者在论文中定义了一个递归记号 Basic Laver Pattern（blp），以描述初等嵌入的关键点之间的结构。通过利用 blp 构造恰当的递归函数，作者成功证明了 Laver Table 函数的增长率至少达到了 \varepsilon_0 。作者进一步在论文中宣称，事实上可以证明 Laver Table 函数的增长率至少达到了 \mathrm{BO} 。这篇论文进一步讨论了 LTY 的定义和性质。

“我们用美丽的颜色#66CCFF来表示复制操作中要复制的行”。

即使作为递归记号本身，blp 的意义也是足够重大的。长期以来，对记号良序性的证明几乎是大数数学领域中最为困难的问题，而 blp 的良序性已经在上述论文中得到了证明。目前猜测，blp 的强度极大可能超过 BMS 的极限，与 \mathrm Y(1,3,8) 的强度关系尚不明确。因此，blp 有极大可能取代 BMS，成为目前已证良序性的最强递归记号。（当然，这一说法排除了证明论中发展的一系列序数折叠函数，目前大数数学社区对这些函数的强度几乎一无所知。）

Laver Table 几乎是无法以人力进行分析的。blp 是 Laver Table 的一个弱下界，并且是一个可证良序的递归记号。 然而 blp 的性质也过于复杂，@投影序数 （最菜萌新）仅仅将 blp 分析到了 \zeta_0 。 test_alpha0估计 blp 的表达式 \mathrm{mcce2mmcce2mcmcc} 等于 BMS 极限，这是目前已知的最好结果。

为了更好地了解 blp 的性质，@HypCos于 2025 年 12 月 21 日定义了 Defective Embeeding Notation（DEN），它的行为比 blp 要简单得多。DEN 的绝大部分定义都与 blp 相同，但在“M 操作”之中的“Copied 操作”中，复制的是从第 s(-1,-l-2) 行开始的所有内容。如果把 DEN 比作 BMS，那么 blp 就可以比作只有最后一列长度为 1 时展开 n 次，其他时候仅仅展开两次的 BMS。由于这样一种性质，目前人们估计 DEN 的强度与 blp 应该是相等的。然而经过这样修改之后，blp 的良序性证明对 DEN 就无效了。

@HypCos对 DEN 的性质进行了详细的分析，目前已经分析到了 BMS 的极限，这同时也为 blp 的 BMS 极限表达式强度提供了佐证。然而在这之后，记号的性质变得更加困难，分析变得举步维艰。我们目前对 DEN 和 blp 的强度极限尚没有估计。

2. 梅天狸的两行 BHM 分析

是的，这个结果几乎宣判 BHM=BMS 了。

—— @Suzuka梅天狸 ，2025.4.6

Bashicu Matrix System（BMS）是日本的大数数学研究者 Bashicu 于 2014 年提出，并于 2018 年完善的记号。为了展开 BMS，我们需要找到表达式的 “好部”和“坏部”，然后保持好部不动，坏部加上阶差向量后不断地在序列末尾复制。

Bashicu Hyper Matrix（BHM）是 BMS 的改版，它只是坏部的规则发生了变化。简单地说，BHM 坏部的范围总是大于或者等于 BMS 坏部的范围。可以设想在展开的过程中 BHM 将携带更多的信息，因此 BHM 的强度至少不低于 BMS。

我们将类似于 BHM 这种扩大坏部范围的模式称为“急模式”。一个自然的问题是，BHM 的强度相比于 BMS 是否真的有提高？如果有的话，那么究竟提高了多少？或者更进一步地说，对记号进行急模式的推广，是否在本质上真正增加了记号的强度？

要回答这一问题，必须建立起 BHM 与 BMS 表达式的一一对应关系。虽然 BHM 与 BMS 的结构相同，二者的展开规则也相差不多，但是它们的行为实际上具有很大的差别，这使得它们之间的分析变得极为困难。早年 @HypCos 曾经对此进行过非常详细的分析，但是进展十分有限。长期以来这一直被视为大数数学之中的一个非常困难的问题。

经过长达 13 个月的分析，在 2025 年 4 月 6 日， @Suzuka梅天狸 宣布得到了如下的结果：

\begin{aligned} & \mathrm{BHM}(0,0,0)(1,1,1) \\ =~&\mathrm{BMS}(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,1) \end{aligned}

毫无疑问，这一结果是大数数学分析领域的一座丰碑，它解决了人们此前认为几乎是不可能解决的问题。根据这一结果，一行 BHM 的极限在一行 BMS 的极限和两行 BMS 的极限之间，两行 BHM 的极限在两行 BMS 的极限和三行 BMS 的极限之间。如果这一规律能够一直得到保持，那么 n 行 BHM 的极限将处在 n 行 BMS 的极限和 n+1 行 BMS 的极限之间。取 n 趋于无穷大的极限，那么我们将发现 BHM 的极限将与 BMS 的极限是相同的。也就是说，虽然 BHM 的表达式强于 BMS，但是二者的强度是一样的。BMS 最终追平了 BHM。

@OvOvO 对另一个急模式的记号 Bashicu Sudden Matrix（BSM）的分析也发现了意料之外的弱化，这暗示 BSM 的强度也有可能远远不及预期。鉴于以上的结果，我们现在认为急模式并没有从本质上提升记号的强度。

3. 第四级运算的解析延拓

我怀疑这套方法可以直接推广到任意阶超运算。

—— @曹知秋 ，2025.7.11

现在看来……至少是很难直接推广。

—— @曹知秋 ，2025.9.21

大数数学称加法为一级运算，乘法为二级运算，乘方为三级运算。由于将前一级运算迭代若干次后可以得到下一级运算，因此将乘方迭代若干次后，我们进一步可以得到第四级运算。我们用运算符 \uparrow\uparrow 来表示第四级运算，它实际上就是指数塔

<nowiki>a\uparrow\uparrow b=\underbrace{a^{a^{\ldots^{a}}}}_{b\text{个}a}</nowiki>

其中左边的元素 a 代表指数塔的底数，右边的元素 b 代表指数塔的层数。需要注意的是第四级运算要从最上层开始，逐层计算指数的取值。

通常来说，第四级运算的的底数和层数都定义在正整数之上，然而我们有时候希望能够将其推广为任意的实数，这正如我们经常希望使用实数变量的加法、乘法和乘方运算一样。要将底数 a 推广为实数是容易的，因为实数的指数函数是有明确定义的。现在的问题在于，我们是否能将第四级运算的的层数 b 也推广为一般的实数？

事实上，这个问题在复数域上讨论起来更容易，因为复变函数拥有更良好的解析性质。因此我们希望能够将层数 b 延拓到整个复平面上，即找到一个以 b 为变量的复变函数，它除去奇点之外在整个复平面上是解析的，并且在 b 取正整数时能够回到通常的第四级运算。这被称为第四级运算的解析延拓（或者更严格地称为定义域的扩张）。

第四级运算的解析延拓是一个困难的问题，因为函数增长的速度太过迅速。这一问题有一个业余数学社区关注，不过真正重要的进展都是由专业的数学家得到的。早在上世纪五十年代，这类问题便已经引起了数学家的关注。因为第四级运算可以视为函数 f(x)=a^x 迭代若干次的结果，而迭代非整数次的问题由一个名为“超函数”的数学分支描述。2009 年，Kouznetzov 在文献中讨论了第四级运算在复平面上的解析性质。而后在 2017 年，Paulsen 等人在文献中首次给出了第四级运算的级数解，2019 年 Paulsen 在文献中讨论了第四级运算延拓的唯一性。2022 年，Nixon 在文献中给出了第四级运算解析延拓的渐进解。

第四级运算在复平面上的等值曲线。

2025 年 5 月 8 日，Vey 宣布完全解决了第四级运算解析延拓的问题。他在论文中考虑了 Schröder 泛函方程，将待求的函数在其奇点处展开为级数，然后通过级数反演求出了第四级运算解析延拓的显式表达式。至此，大数数学中一个二十余年悬而未决的问题终于得到了解答，我们终于得到了一个性质良好的定义在复平面上的四级运算。

我们目前尚不知道如何将更高级的运算进行解析延拓。

4. 至 BTBO（BIO）的形式化递归序数

为了引起关注, 我们将其命名为布劳威尔树壁垒序数(Brouwer Tree Barrier Ordinal)。

—— @ocau ，2025.6.18

长期以来，大数数学一直建立在不严格的基础之上，大量序数记号的良序性无法得到证明。 @ocau 利用 Agda 语言进行了递归序数的形式化，从而保证了序数系统的可靠性。

ocau 的形式化工作分为了几个不同的阶段。最早期的工作于 2022 年 11 月完成，它达到了二元 Veblen 函数的极限 \Gamma_0 。2024 年 7 月，ocau 完成了超限元 Veblen 函数的形式化，其极限达到了 \mathrm{LVO} 。

为了进一步得到更强的序数，需要对序数折叠函数进行形式化。2024 年 8 月，ocau 进行了形式化良构树序数的尝试，但是并没有完成。实际上，早在 2019 年，就有形式化序数折叠函数的尝试。AndrasCovacs 利用树序数成功地将序数折叠函数形式化，其极限为 \psi(\Omega_\omega) 。但是，进一步的形式化工作遇到了困难。

2025 年 6 月 18 日，形式化可数序数的工作取得了新的进展。ocau 定义了任意可数层布劳威尔树序数的结构，利用它来表示序数折叠函数中的非递归序数。通过恰当地定义布劳威尔树序数的折叠过程，ocau 完成了序数折叠函数的形式化，其极限为 \psi(\Omega_\Omega) 。ocau 将其命名为布劳威尔树壁垒序数(Brouwer Tree Barrier Ordinal, BTBO)，即利用布劳威尔树的形式化方法所能够达到的极限。

形式化递归序数的推进无疑是一项重要的进展，它为序数记号的良序性提供了坚实的基础。然而，目前形式化工作的进展仍然十分有限。目前的形式化极限为 \psi(\Omega_\Omega) ，而此处的序数已经被人们认为是相当可靠的。因此，对于大数数学领域来说，这一形式化的结果的意义更多是在理论上的，它并没有解决真正不够可靠的大递归序数的形式化问题。而另一方面，作为一个形式系统，Agda 本身的强度也是有限的，这或许为形式化序数的进展设置了一个理论上的上限。

5. BB(5) 的证明与 BB(6) 下界更新

因此，秉承着对 Busy Beaver 值长期以来抱有的希望，我们预计 \mathrm{BB}(6) 将永远不会被证明。

——BBChallenge 合作组，2025.9.15

1936 年，图灵提出了一个称为图灵机的计算模型。图灵机可以在一条无限长的纸带上运动。在每个时刻，读写头都要从当前纸带上读入一个方格信息，然后结合自己的内部状态查找程序表，根据程序输出信息到纸带方格上，并转换自己的内部状态，然后进行移动。图灵机虽然结构简单，但是它却深刻地揭示了计算的本质。现代计算机在计算能力上与图灵机是等价的。

图灵机的结构。

1962 年，Rado 提出了 Busy Beaver 函数 \mathrm{BB}(n) ，它定义为能够停机的 n 状态图灵机在停机前所能够运行的最大步数。由于图灵机能够计算所有的递归函数，因此 \mathrm{BB}(n) 相当于对所有递归函数进行对角化。它的增长速度必然超越了所有的递归函数，达到了非递归函数的层次。

求出 \mathrm{BB}(n) 的取值是极为困难的，因为我们需要找到所有能够停机的 n 状态图灵机，并取其运行步数的最大值。而一个图灵机是否停机是不可判定的，即不存在一个通用的算法能判断所有图灵机的停机性。我们实际上并不知道一个很久没有停机的图灵机究竟是无法停机，还是最终能够停机，只不过运行的时间还不够长。由于这些困难，求解 \mathrm{BB}(n) 的进展十分缓慢。

1963 年，Lin 等人在文献中得到了 \mathrm{BB(n)} 的第二和第三个取值

\mathrm{BB(2)}= 6,\quad \mathrm{BB(3)}= 21

1983 年，Brady 在文献中得到了 \mathrm{BB(n)} 的第四个取值

\mathrm{BB(4)}= 107

然而， \mathrm{BB(5)} 是一个极为困难的问题。Marxen 在 1990 年找到了一个 5 状态图灵机，它要运行 47176870 步才能停机。也就是说，这是一个\mathrm{BB(5)} 的下界

\mathrm{BB(5)}\geq 47176870

但是在接下来的三十多年中，人们并没有找到停机时间更长的图灵机，也无法证明 47176870 就是 \mathrm{BB(n)} 的精确值。对这个问题的研究近乎陷入了停滞的状态。

2022 年，一个致力于解决 \mathrm{BB}(n) 问题的业余数学社区 BBChallenge 正式成立。他们设计了一系列判定器，来判定 5 状态图灵机的停机性。在经过七种精心设计的判定器筛选之后，最终只剩下 13 个图灵机没有解决。通过手动为这些图灵机单独编写证明，他们成功地解决了所有 5 状态图灵机的停机性的判定性问题，并最终证明了三十多年前的得到下界就是 \mathrm{BB}(5) 的精确值：

\mathrm{BB(5)}= 47176870

BB(5)判定器的工作流程。

十三个零散机的行为。

在利用 Coq 形式化证明过程后，他们在 2024 年 7 月 2 日宣布已经解决了 \mathrm{BB}(5) 的取值问题。2025 年 9 月 15 日，他们发布了证明 \mathrm{BB}(5) 取值的论文。至此一个停滞了四十余年的问题在业余数学社区的推动下，终于得到了彻底的解决。

接下来一个自然的问题是，\mathrm{BB(6)} 的取值是多少。2022 年 5 月 30 日，Pavel Kropitz 发现了一个停机步数超过 10 \uparrow\uparrow 15 的图灵机，从而将 \mathrm{BB(6)} 的下界提升为

\mathrm{BB(6)}> 10\uparrow\uparrow 15

2025 年 6 月 12 日，mxdys 发现了一个停机步数超过 10 \uparrow\uparrow 11010000 的图灵机，从而将 \mathrm{BB(6)} 的下界提升为

\mathrm{BB(6)}> 10\uparrow\uparrow 11010000

2025 年 6 月 25 日，mxdys 进一步发现了一个停机步数超过 2 \uparrow\uparrow\uparrow 5 的图灵机，从而将 \mathrm{BB(6)} 的下界提升为

\mathrm{BB(6)}> 2 \uparrow\uparrow\uparrow 5

这是目前已知的最好结果。

目前 \mathrm{BB(6)} 的取值问题的解决还遥遥无期。

6. 聚集地群成为第一大 ggg 群

ggg 五群方案：

1. 核心大群（大群）

2. 协商会议、文件存储、记号分析、分散线程（会议群）

3. 新人教学、闲聊（聚集地）

4. 刷屏、发癫（表情包）

5. 对外交流、保留最后联系方式、玩 bot、其它（联合群）

——@夏夜星空 （猫猫の星梦），2024 年 8 月 10 日

由 test_alpha0 于 2021.7.3 建立的 QQ 群“googology/数学爱好者讨论群”（讨论群/大群）是中文大数数学社区首个建立的、有较大影响力的 QQ 群，它的建立标志着大数数学社区从百度贴吧时代正式步入了 QQ 群时代。该群的建立使得大数数学研究者的交流和联系变得更加密切，使得大数数学前沿知识得到了极大的普及。讨论群在大数数学社区的发展史之中具有不可磨灭的意义，长期以来一直被人们视为大数数学讨论的中心。

在 2024 年间，大数数学作为一种独特的亚文化开始在中文互联网上流行。特别是知乎上的“挑战葛立恒数”等话题开始让大数数学越来越为中文互联网用户所知，“写出一个很大的数（或是很强的无穷）”成为了一种越来越流行的时尚单品。在这种情况下，中文大数社区的轻度用户数量开始急剧增加，群聊中的讨论也变得越来越混乱。

在这一背景下，许多人认为大数社区的环境正在迅速恶化，话题变得越来越鱼龙混杂。特别是 @Suzuka梅天狸 因不满讨论群的氛围而退出群聊，并于 2024 年 4 月 14 日建立个人粉丝群“狸と扽西の催更群”（狸群）。这一事件促使群管理开始着手进行群聊讨论的分流，意图将严肃的大数数学讨论留在讨论群，而将新人教学、轻度讨论、日常交流等内容分流到其他群聊之中。由 @夏夜星空 （猫猫の星梦）于 2023 年 1 月 8 日建立的 QQ 群“大数数学爱好者聚集地”（聚集地群）承担了这一责任。2024 年 4 月 19 日，QQ 群“大数数学爱好者自由讨论群”（自由群）建立，由 qwerty 担任群主，意图进一步分流灌水内容。

2024 年 8 月，大数数学社区发生了多起恶性事件。特别是一位网名为“孙笑川”的用户使用多个账号炸群，并威胁开盒大数社区的成员，严重扰乱了大数社区的秩序。群管理坚决捍卫社区利益，采取果断措施，粉碎了“孙笑川”的图谋。2024 年 8 月 8 日，test_alpha0建立了 QQ 群“googology 群人事管理”，将各群的管理进一步集中化。大数社区决议任免讨论群的多位管理，并加强群消息的进一步分流，提高讨论群的入群门槛和审核强度。这使得讨论群的活跃度迅速下降，日常的讨论几乎完全转移到了聚集地群，从此之后聚集地群的规模和消息数量开始暴增。

2025 年 4 月 5 日，聚集地群的人数成功追平讨论群。2025 年 7 月 4 日，聚集地群由 500 人群扩充为 2000 人群，并在两天之后增设了五位新管理员。2025 年 7 月 8 日，聚集地群的人数正式突破 500 人。2025 年 12 月 31 日，聚集地群的人数达到了 700 人，几乎包含了中文大数社区的所有活跃研究者。时至今日，不论是从总人数、活跃人数，还是新增消息数来看，聚集地群都已经成为了当之无愧的 ggg 第一大群（除表情包群）。

各群新增消息数占比。聚集地群的消息数已经超过了其他所有群聊的总和（除表情包群）。

7. 最菜萌新的 BMS 全分析

对于(0,0,0)(1,1,1)(2,2,0)以下的分析，我们几乎可以说这是完全正确的。

对于(0,0,0)(1,1,1)(2,2,1)以下的分析，我们有很大的把握认为这是正确的。

对于(0,0,0)(1,1,1)(2,2,2)以上的分析，我们几乎不知道这是否正确。

——Yto ，BM4 的分析

尽管 BMS 的定义早就已经为人们所知，但长期以来，人们并不了解其强度。这只有将 BMS 和其他记号进行对比分析才能解决。对于 BMS 来说，一个合适的参照是序数折叠函数 \psi ，将非递归序数放入其中就可以得到递归序数。如果我们引入的非递归序数越强，那么输出的递归序数也就越强。恰当地在序数折叠函数之中引入了 \omega 个非递归序数 \Omega_\omega 之后，我们可以得到如下结果

(0,0,0)(1,1,1)=\psi(\Omega_\omega)=\mathrm{BO}

要想继续分析 BMS，我们就不得不去寻找更加强大的非递归序数。反射序数是一类重要的非递归序数。在引入了反射序数 \Pi_\omega 之后，我们可以得到如下的结果

(0,0,0)(1,1,1)(2,2,0)=\psi\left(\Pi_\omega\right)=\mathrm{SSO}

稳定序数刻画了比反射序数更强的非递归序数。对于 \Sigma_1 稳定来说，若考虑一条长度为 \omega 的稳定链，则有

(0,0,0)(1,1,1)(2,2,2)=\psi\left(\omega-\pi-\Pi_0\right)=\mathrm{LRO}

以上的这些结果大概在 2020 年就已经得到了。

2021 年，test_alpha0定义了投影序数。1-投影序数就是 \Pi_2 反射序数，而 2-投影序数 \alpha 则是一个非常强大的非递归序数，将它放进 \psi_\alpha 之中时，可以折叠 \psi_\alpha 中的“任意递归运算”。当然还可以定义更强大的 3-投影序数，直到 \omega -投影序数，它的极限为

(0,0,0,0)(1,1,1,1)=\psi\left(\omega-\mathrm{P}\right)=\mathrm{TSSO}

2024 年， @投影序数 （最菜萌新）开始研究高阶投影的可能性。对于向上投影来说，定义投影升阶运算 \sigma ，将它作用在投影序数上之后，可以得到比它更高的投影序数。令 S 是最小的 (1,0) -投影，则 \psi_S 可以投影比它更高的序数 \sigma^n S ，这是一种强大的投影层次。在这之后的接近一年的时间里，他不断地完善向上投影的规则并将其递归化，利用它来分析 BMS 的强度。

2025 年 7 月 16 日，最菜萌新宣布了如下的结果：

(0,0,0,0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,0,0,0)=\psi\left(\psi_S\left(\sigma^\omega S\right)\right)

引入更复杂的投影结构，可以得到四行 BMS 的极限

(0,0,0,0,0)(1,1,1,1,1)=\psi\left(\psi_A([1,1] A \cdot \omega)\right)

乃至 BMS 的极限

\text{limit of BMS}=\psi\left(\varepsilon_{H+1}\right)=\mathrm{SHO}

至此@投影序数 （最菜萌新）完成了 BMS 的全分析。

该项工作一共包含 7777 条对照分析的结果，是大数数学史上最为庞大的分析工作之一。由于@投影序数 （最菜萌新）提出了一套完整的理念、一套行之有效的规则，以及详尽的分析结果，向上投影已经打败了其他的投影记号，成为了 (0,0,0)(1,1,1)(2,2,2) 之后的标准记号，甚至投影系记号已经逐渐有取代更加传统的稳定系记号的趋势了。

BMS 并未抵达向上投影的极限，接下来需要利用 \mathrm Y 序列对其进行分析。然而向上投影与 \mathrm Y 序列之间的分析举步维艰，目前尚不清楚向上投影的极限究竟是多少。除此之外，向上投影也为非递归 BMS 的分析提供了参考。若将 BMS 第一列的全部零删去，则可以设想让 BMS 输出非递归记号。这一非递归记号的强度用向上投影来分析是合适的。

需要说明的是，投影序数并非集合论意义上的严格的非递归序数。而将投影序数放入 \psi 之中得到的递归化函数，本质上仍然是一个递归记号。事实上即使是对于反射序数和稳定序数来说，我们也只是使用了一种“长得像序数折叠函数”的递归记号，它们模仿了真正使用集合论方法来定义的序数折叠函数的行为。

而另一方面，真正严格意义上的序数折叠函数以及相应的非递归分析已经得到了长足的发展，这一部分应当归功于序数分析领域的专业数学家。目前序数分析的巅峰之作是数学家 Arai 对二阶算术的序数分析，这是序数分析领域中发展的最强序数折叠函数。然而我们并不知道它和大数数学之中发展的序数记号之间的强度关系是什么样的，目前我们只能就此做出一些猜测。

我们已经知道的是，文章利用 \Sigma_n 稳定序数的存在性证明了 BMS 的良序性，而二阶算术与 \mathrm{KP} +存在 \Sigma_1 稳定序数+存在 \Sigma_2 稳定序数+……这一公理体系的强度是相同的。如果我们真的可以认为 BMS 与二阶算术的强度相同，那么我们就可以说 Arai 的序数折叠函数极限等于 BMS 的极限，它们都是二阶算术的证明论序数。然而严格的序数分析是极其困难的工作，也许我们永远也不会知道我们的记号何时能够达到各种公理体系的极限了。

8. HypCos 定义 ω^ωMN

时至今日，还未有人分析 Tω^ωMN。

它太难分析了吗？它太难理解吗？没有什么合适的其它记号用来分析吗？

—— @HypCos ，2025.8.17

BMS 是跨时代的记号，它将递归记号构造的范式从数阵型记号转变为了 Worm 型记号，其强度远远超越了当时的所有记号。2020 年 9 月，日本的大数研究者 Yukito 对 Worm 型记号进行扩展，定义了 \mathrm Y 序列（ 1-\mathrm Y 序列），它的强大再一次震撼了研究者。后来 Yukito 又定义了更加强大的 \omega-\mathrm Y 序列，这是目前已经得到公认的、成熟的大数数学社区最强记号。

如果要得到更强的记号，下一步该如何做？我们可以试图将 \omega-\mathrm Y 序列推广到更高的 \alpha-\mathrm Y 序列，乃至 \Omega-\mathrm Y 序列。考虑到 BMS 有 \omega 行，1-\mathrm Y 序列的山脉图有 \omega^2 行，\omega-\mathrm Y 序列的山脉图有 \omega^\omega 行，那么似乎将山脉图的行数推广到更高就可以得到更强的记号。不过令人遗憾的是，平凡的推广几乎是没有任何意义的。BMS 也可以直接推广到 \Omega 行，但是它的强度仍然难以超越\mathrm Y(1,3,4,3) 。事实上，目前已知的所有定义 \Omega-\mathrm Y 序列的尝试不是非良序，就是强度达不到预期。在 \omega-\mathrm Y 序列之上，人们似乎再难以前进半步。

@HypCos对 Worm 记号体系进行了深入的研究。鉴于序列型记号形式上的困难已经严重阻碍了进一步的推广，@HypCos采用了新的多维数阵体系，将山脉图的结构直接编码进表达式中，称为山脉记号（Mountain Notation，MN）。他在 2024 年 9 月 11 日提出了 \omega\mathrm{MN} 的定义，这一记号与 \omega-\mathrm Y 序列是等价的。接下来他在 2024 年 9 月 15 日又进一步提出了 \omega\cdot 2\mathrm{MN} 的定义。最终在 2025 年 7 月 19 日，他进一步地提出了 \omega^\omega\mathrm{MN} 的定义，这是目前已知的有明确定义的最强递归记号之一。

如果不能真正理解 Worm 型记号为何如此之强，那么想凭运气再创造出来一种本质上强于它的记号也几乎是不可能的。2024 年 2 月 23 日，一位天才般的研究者以极富洞察力的直觉提出了“传递”的概念，从而解决了 Worm 型记号强度的来源问题。简单地说，序数记号的传递现象意味着一个序数记号表达式在展开时，不仅仅是判定展开所用到的元素参与了展开过程，还有别的元素也参与了展开过程，从而将序数结构的一部分“传递”到了展开后的表达式之中。

具有传递现象的记号通常拥有更高的强度，并且传递的层次越高，记号的强度就越高。对于 BMS 来说，若删去第 n 列及以下的部分能够该改变坏根的位置，则称该表达式拥有 n 行传递。BMS 拥有任意有限的 n 行传递，因此它的强度超越了绝大多数其他类型的序数记号。而 \mathrm Y 序列拥有真正意义上的 \omega 行传递，因此它远远超越了 BMS 平凡扩展的极限。

Y(1,3,7)展开为Y(1,3,6,12,24,48,96,192,...)，从图中可以看出，对角线上的元素由1,2,2展开为1,2,1,2,1,2,...，因此这是一个真正的ω行传递。

\alpha \mathrm{MN} 系列记号利用独特的拉伸操作，实现了比 \omega-\mathrm Y 序列更加强大的结构，增进了人们对于 \omega-\mathrm Y 序列之上的递归序数结构的理解。然而我们能说 \omega^\omega\mathrm{MN} 就是预想中的 \omega^\omega-\mathrm Y 序列吗？它具有真正的更高层次的传递吗？或者说，山脉记号能够成为 \mathrm Y 序列的某种“上位替代”吗？这一点恐怕很难说。因为没有人知道一个理想的传递究竟应该是什么样子的，人们最多只能知道某个记号并不符合心目中的“理想”情况。不过从目前的情况来看， \alpha \mathrm{MN} 系列记号确实已经成为了 \omega-\mathrm Y 序列之后的一种新的参照标准，正在被越来越多的人所接受。

以传递现象的提出作为标志性事件，一部分研究者建立了更加深入的“构造理论”，期望能够触及更加强大的记号体系的一角。对构造理论的研究几乎是整个 2024 年的研究核心，人们提出了太多的理论和体系，又将它们一个个推翻。目前关于构造理论的研究少有成体系的结果，也并没有真正建立起成熟完备的新记号体系。而且目前对于构造理论的研究过于艰涩，除了寥寥几位研究者之外，其他人几乎不知道他们在做什么。我们并不知道目前在构造理论上的尝试是否是正确的。

9. Phyrion 的新 Googology Wiki

wiki.googology.top：首个以 googology 为二级域名建立的网站！

——Phyrion，2025.6.25

在 21 世纪的前几年中，大数数学还仅仅是一个只为极少数人所知的小众数学问题。那时仅有少数几位欧美国家的爱好者关注这一问题，并且将自己的研究成果发布在个人网站上。直到 2008 年 12 月 5 日，fandom 上的 Googology Wiki 网站正式上线，才结束了这一局面。在这之后的十余年时间里，Googology Wiki 当之无愧地成为了全球大数数学研究者的中心，为大数数学的发展提供了一个宝贵的平台。

Famdon的Googology Wik的首页。

长期以来，Googology Wiki 包含着大数数学社区最完整的知识以及最前沿的进展，但是随着时间的推移，Googology Wiki 也已经逐渐衰落了。起先是 Wiki 中的部分成员不满管理员的专权，因此另立门户。欧美大数社区的讨论中心也逐渐转移到了 Discord 频道上，不再活跃于 Wiki。而中文社区和日文社区近乎独立地发展，极少与欧美社区进行交流。因此在 2020 年之后，Fandom 的 Googology Wiki 迅速的落后于了整个时代。

为了建立一个能够完整准确地反映现代大数数学研究进展的在线知识库，Phyrion 启动了新 Wiki 计划。该计划从 2025 年 6 月启动，由 Phyrion 维护网站，并由十余位活跃研究者共同编写。2025 年 8 月 15 日，新 Wiki 的网址 wiki.googology.top 正式公开，并立刻引起了大数社区的广泛关注。

wiki.googology.top的首页。

新 Wiki 全面抛弃了旧 Wiki 以大数为中心的思想，而转向了更加现代化的以序数为中心的思想。新 Wiki 系统性地整理了大数数学的最新研究成果，许多成果都是首次发布在公共的平台之上。新 Wiki 在内容选择、材料组织等方面遵循了深入浅出、详略得当的原则，既能够完整准确地反映大数数学的核心内容和最新进展，又不显得过于繁冗。新 Wiki 已经成为了大数社区最重要的在线知识库之一。

新 Wiki 的命运是坎坷的。在 2025 年 9 月 30 日，新 Wiki 站点由于欠费停站，直到 2025 年 10 月 11 日才重新恢复。而后它在 2025 年 10 月 31 日再次由于欠费而停站，至今仍然没有恢复。这引发了人们对于新 Wiki 站点不稳定的担忧。Phyrion 宣称在这一段时间将对整个 Wiki 进行改造，预计将在寒假期间开放，让我们拭目以待。

10. PPS 被发现无穷降链

@全体成员 PPS 无穷降链

沉 痛 悼 念，永 垂 不 朽

——z，2025.12.10

沉 痛 悼 念，永 垂 不 朽。该消息是大数社区之中被回复😰数最多的消息，几乎达到了全体成员的八分之一。

Parented Predecessor Sequence（PPS）是 @24414-X357 （3184，3183 丶 4139）于 2024 年 9 月 9 日创造的记号。PPS 的定义非常简单，相比于标记父项列标 PrSS，它只增加了一条规则：如果坏部里没有其他等于坏根的项，那么复制时，复制出来的部分的首项改成原末项-1。

然而，正是这样简单的规则导致了极其诡异的行为。整个七月份，大数数学的研究者绞尽脑汁对 PPS 的强度进行分析，然而整个记号的规律似乎完全是无法理解的。即使进行了大量的尝试，耗尽了全部的精力，研究者们也未能将 PPS 分析至 \zeta_0 。这对于该强度的记号来说似乎是完全无法理喻的。在遭受了重大的挫折之后，大数数学的研究者不得不将精力转移到其他的问题上。

PPS在分析过程中会出现类似于“圣诞树”的行为，其复杂性可见一斑。

一切都结束于 2025 年 12 月 10 日，在这一天 ddfg 通过对 PPS 的详尽分析，发现了一个展开式，它可以无穷无尽地展开下去，越来越复杂，永远也不会停下来。这种越来越复杂的表达式构成了一条不断递降的链条，称为无穷降链。由于序数的每个子集必有最小元，不会出现无穷递降的情况，因此 PPS 的展开不构成其标准表达式上的一个良序关系。也就是说，PPS 根本就不是一个序数记号。

PPS 的无穷降链无疑是对于其研究者的一个沉痛打击。尽管在这之后还有一系列修复 PPS 的尝试，但人们对这一记号已经失去了信心。不过人们更好奇的是，为什么时隔如此之久，大数社区才找到了 PPS 的无穷降链。这不禁让人们想起 2024 年 7 月 7 日的盛况，在短短的几个小时内，三个前沿记号都被发现无穷降链或不良定义，大数数学社区的进展几乎一夜之间倒退到了 2021 年的 \omega-\mathrm Y 序列。

无穷降链是悬在所有序数记号头上的达摩克里斯之剑，几乎所有记号都要受到无穷降链的威胁。人们或许希望能够直接利用数学方法证明记号的良序性，从而一劳永逸地解决这一问题。然而我们现在几乎完全不知道如何证明记号的良序性，目前仅有寥寥几个记号的良序性问题得到了解决。并且事实上任何公理体系可证良序的范围都是有限的，一旦记号的强度超出了这一范围，那么我们就必须诉诸更加强大的公理体系。而与此同时，过于强大的公理体系本身的一致性都是值得怀疑的。因此可以说，记号良序性证明的困难是本质的。

但是，如果我们不能够为记号的良序性给出证明，那么我们要如何相信它们的可靠性呢？如果我们连严格性都舍弃掉，那么整个数学体系之中还有什么是可以信赖的呢？多年以来大数数学研究者建立起的庞大的理论体系，究竟有多少是虚无的空中楼阁，随时会被推翻？我们不知道这些问题的答案。或许真正具有洞察力的数学研究者能够推动这一问题的解决，而在这之前，我们只能祈祷之前建立起的大多数地基都是扎实的。

展望：未来时代的大数数学

自 2021 年以来，中文大数社区得到了长足的发展，逐渐赶上并超越了欧美社区和日本社区的水平。特别是在 2024 年，大数社区内部洋溢着积极乐观的情绪。在传递以及其他思想的指引下，构造理论得到了充分的发展。FOS、fffz、MMS、MN 等新记号的提出和优化层出不穷。 @曹知秋 的《大数理论》系统性地整理了大数数学的理论体系，结束了资料过于零散的时代。随着相关亚文化的传播，大数数学在中文互联网上的知名度越来越高，这为中文大数社区提供了大量的新鲜血液。

然而进入 2025 年之后，大数数学的研究开始进入了低谷。人们开始审视之前过于激进的理论体系，并排除了大量不可靠的结果和空中楼阁一般的概念。尽管大数数学知名度仍然在不断增加，进入大数社区的新人越来越多，但是这些人通常不会去真正了解大数数学的知识，并且圈层的扩大也势必会对原有的大数社区生态造成破坏。近年来大数社区与其他社区的交往正在变得更加紧密，这种联系总体上是有益的，但实际上并未真正对各自关心的问题有实质性的启发。大数数学横向上的宽度正在不断扩展，但是纵向上的深度则并未有明显的增加。大数数学各社区之间的国际交往仍然非常有限，欧美社区和日本社区的研究也明显地进入了衰退期。大数数学的业余研究者和专业数学家之间几乎没有交流，专业数学家不关心（或者根本不知道）大数数学社区的结果，我们也几乎无法理解专业数学家的相关工作。

2025 年生成式人工智能的发展非常迅猛，已经在方方面面深刻地改变了人们的生活。然而，目前来看关于大数数学的资料仍然十分缺乏，人工智能在大数数学问题上的表现不佳。我们期望人工智能能够在记号分析、资料整理等领域为我们提供更多的帮助，但是目前看来，这一目标还非常遥远。

根据库恩的范式理论，科学的发展并非是简单的线性累积，而是在常规发展和科学革命两个阶段之间不断交替。按照这一理论，我们至今仍然处在 Worm 型记号革命之后的常规发展阶段，并且这一阶段的潜力正在肉眼可见地被消耗殆尽，逐渐失去了生命力。当前的大数数学研究呈现出了越来越复杂化的倾向，新的结果几乎不能够被其他研究者所理解。进入大数数学前沿研究的门槛越来越高，几乎超过了普通人单纯凭借兴趣所能够达到的极限。事实上自从 2024 年以来，尽管加入大数社区的新人越来越多，但是只有屈指可数的几个人能够真正了解大数数学的前沿进展，并且真正为大数数学的发展做出贡献。这一阶段未来可能还要继续持续下去，直到量变的积累产生质变，或者有真正天才的研究者为我们踏出关键的一步，将大数数学引领到一个全新的时代。

附：2024 年中文大数社区十大事件

1. @24414-X357 （3184，3183 丶 4139）提出 FOS

2. 传递现象的提出

3. 大数社区群聊改革

4. @曹知秋 发布《大数理论》

5. @HypCos 提出 MM3

6. BB(5)取值的严格证明

7. 7 月 7 日前沿记号的无穷降链或不良定义

8. @夏夜星空 完善 fffz 规则

9. @HypCos 提出 MN

10. @739085 （62XXY）与大数社区决裂