陶哲轩最新力作，在 “自然数倒数之和是否为有理数” 问题上取得一系列进展。
其中最引人瞩目的一项成果，就是证明了一个非常反直觉的猜想，居、然、是、对、的：
存在一个递增的自然数级数 ak，使得对任意有理数 t，都是有理数。（）
一位 Topos 研究所的数学物理学家 John Carlos Baez 在评论区毫不掩饰自己的惊叹：
哇哦，这个结论太反直觉了！
不过这也意味着这项研究非常有趣。
为啥说这个结论非常反直觉？
可以理解成，要使一个级数的和是有理数本来就很难，再加上任意有理数 t 的偏移量，还让级数保持有理性，难度就又加几个数量级了。
-
需要满足对所有有理数 t 都成立，而有理数有无穷多个
-
每增加一个 t，就相当于增加一个约束条件
-
改变序列中任何一个数字 ak，都会同时影响所有 t 对应的级数和
数学家 Kenneth Stolarsky 或许也是如上所想的，所以提出了相反的 Stolarsky 猜想。
现在，陶哲轩的结论相当于证明了 Stolarsky 猜想是不成立的。
果然，数学的神奇之处就在于，有时看似不可能的事情实际上是可能的，只是解决方案可能超出了我们的直观认知。
那么，陶哲轩的方法是怎么颠覆直觉的？
迭代逼近法解决无限维度问题
从论文提交历史可以看到，这项研究原本只有 Vjekoslav Kovač一个作者，研究的是两个特定级数的有理性问题。
陶哲轩加入后，帮助 Kovač扩展到了对整个 Ahmes 级数的研究。
原本只有 6 页的短论文，也扩展成了 28 页长篇论证……
除了论文之外，陶哲轩还在个人博客上解释了他们的思路。
不是直接尝试构造这个级数，而是把问题转化为研究一种集合，再使用 “迭代逼近” 方法，逐步解决。
先来解释一下什么是 Ahmes 级数。
Ahmes 级数是满足如下形式的无穷级数，其中 ak 是一个严格递增的自然数序列。
由于大多数实数都是无理数，人们也会期望这样的级数 “通常” 也是无理的，但很难确定一个特定级数的无理性。
**首先，**此前数学界已知道，如果 aₖ的增长速度比 C(2k) 更快（对任意常数 C），那么对应的 Ahmes 级数一定是无理数。
也就是存在一个明确的 “增长速度分界线”，超过这个速度，级数必然无理。但接近这个速度时，仍可能找到有理的例子。
接下来，论文中表明了如果满足 aₖ₊₁=O(aₖ²)，意味着 aₖ₊₁比 aₖ² 增长得慢得多。
那么可以找到一个可比较的级数 bₖ，和 aₖ是渐进关系，且∑(1/bₖ) 是有理数。
这部分解决了 Erdős 问题 #263：序列 aₖ =22k 是否符合这个性质，是否所有增长速度不超过指数级的级数都有这个性质。
因为条件 aₖ₊₁=O(aₖ²) 不足以覆盖 aₖ =22k 的情况，这个条件也不适用于所有指数级或更慢增长的序列。
也就是 aₖ₊₁=O(aₖ²) 作为问题的分界线，“差一点” 就能完整的解决了。
在这之后，陶哲轩展示了一个新的变体结论：
如果级数 aₖ满足：aₖ₊₁=O(aₖ)（即下一项不会比当前项增长太快） 且∑(1/aₖ) 收敛。
那么可以找到 bₖ，使得：bₖ=aₖ+O(1)（即 bₖ与 aₖ只差一个有界的常数） 且∑(1/bₖ) 是有理数。
这又和 Erdős 问题 #264 相关：
其中 aₖ=2k 时的情况被完全解决了，因为 2k 是指数增长。
问题中的第二部分，关于 aₖ=k! 的情况，超出了当前方法的能力范围。
新的分界线被定位到了指数增长。
就像这样…… 一步一步迭代逼近，就到了 Erdős 问题 #266，也是更高维度的变体。
陶哲轩避免了任何数论难题，主要依赖有理数集的可数稠密性。（具体论证过程略）
最终，Stolarsky 猜想被转化为一个无限维的问题。
陶哲轩让维度数 d 随 k 增长，但增长的速度要保持够慢，这样既保证收敛又保证稠密性。
不是陶解决的第一个 Erdős 问题
前面提到，陶哲轩给出结论的的这个问题，是 Erdős 问题 #266。
由沃尔夫数学奖获得者、匈牙利数学家 Paul Erdős（1913 年 3 月 26 日－1996 年 9 月 20 日）提出。
不过，这个问题的相关起源最早能追溯到古埃及时期——
古代埃及人在进行分数运算时，只使用分子是 1 的分数。因此这种分数也叫做埃及分数，或者叫单分子分数。
他们把所有复杂分数，都表示成单分子分数的和，例如 3/4，一定要表示成 3/4=1/2+1/4。
故而很长一段时间（大概几千年吧），数学史家都坚持认为古埃及人不会使用分数；现代数学家们也一度认为埃及人之所以未能把算术和代数发展到较高水平，其分数运算之繁杂（就是非要把真分数分解成单分子分数）也是原因之一。
等到数学家们发现里面隐含了何等丰富的内容，已经是两千多年后的后话了。
OK，让我们回到 Erdős 问题和 Erdős 本人。
Erdős 被誉为 20 世纪最富有创造力的数学家和数学猜想提出者之一，21 岁时就被授予数学博士学位，论文导师也是冯 · 诺伊曼的恩师利波特 · 费杰尔（Léopold Féjér）。
Erdős 一辈子合作了超过 500 位数学家，毕生发表了约 1525 篇数学论文，数量之多，至今无人能及。
他穷其一生，致力于并提出了离散数学、图论、数论、数学分析、逼近理论、集合论和概率理论中的问题，其中大部分工作集中在离散数学领域，解决了该领域许多以前未解决的难题。
83 岁时，因心脏病突发，Erdős 去世在华沙的一个数学会议上。
如他所愿，他的墓志铭上写道：我终于不再变笨了（Végre nem butulok tovább）。
值得一提的是，Erdős 问题 #266 不是陶哲轩解决的第一个 Erdős 相关问题。
2015 年 9 月，陶哲轩在 arXiv 上挂了一篇论文《The Erdős discrepancy problem》，宣布证明了 Paul Erdős 在 20 世纪 30 年代提出的数论猜想 “埃尔德什差异问题” 存在。
埃尔德什差异问题于 1932 年被 Erdős 提出，此前困扰了学术界 80 多年。
与许多数论难题一样，埃尔德什差异问题描述起来很简单，但证明难度却很大。
通俗点阐述它：
假如你有一个由 1 和 - 1（例如由扔硬币随机产生）组成的数列和常数 C。你要寻找到一个足够长的有限数列，使这一数列的总和大于常数 C。
有意思的是，为了证实这个曾经的猜想，陶哲轩经过了多年手动计算和计算机尝试，还加入过一个专门研究它的小分队合力专研（虽然当时失败了）。
最终，破题的灵感来自德国数学家尤威 · 斯特罗斯基在陶博客下的评论，暗示陶研究的另一个问题可能与埃尔德什差异问题有关。
“起初，我认为这种联系只是表面的。” 但陶哲轩很快意识到将新思路和已有的结果结合在一起，很可能得到问题的证明。
这件事在当年当月，登上了 Nature，题为《数学天才解决了一个大师级谜题》。
更有意思的是，Erdős 和陶哲轩的缘分，能追溯到更更更早。
1985 年，72 岁的 Erdős 去澳大利亚讲学。
在阿德莱德大学（8 岁起，中学生陶哲轩用 1/3 的时间在该校学习数学、物理课程）的安排下，时年 10 岁的小陶哲轩拜见了 Erdős。
Erdős 认真阅读了陶哲轩写的论文，并鼓励他说：“你是很棒的孩子，继续努力！”
后来，Erdős 还写了推荐信，推荐陶哲轩到普林斯顿大学攻读博士学位。
2010 年，英国卫报评选了两千多年来 “世界十大数学天才”，认为他们的革命性发现改变着我们的世界——Erdős 和陶哲轩都榜上有名。
这两位数学大家还有一张非常经典的合影：
2013 年，Erdős 诞辰 100 周年之际，陶哲轩在自己的博客上分享了一张当年和 Erdős 的珍贵合影，以表怀念和感激。
One More Thing
But！
虽然 #266 被陶给出了结论，但 Paul Erdős 还留下了很多问题没被解决，这些问题通常是他在与其他数学家的合作中提出的，也有些是他独自思考后形成的。
这些问题涵盖了数论、组合数学、图论、概率论等多个数学领域。
目前，860 个问题中，还有 580 个问题等着被探索（去掉 #266 也还有 579 个）。这些问题分别设置了 0-10000 美元的奖金。
这些灿烂又迷人的遗产，直到今天仍激励着每一位数学家，推动数学的进步，也让后来者从中获得新的视角和灵感。
论文地址：
arxiv.org/abs/2406.17…
参考链接：
[1]mathstodon.xyz/@tao/113559…
[2]terrytao.wordpress.com/2024/11/27/…
[3]arxiv.org/pdf/1509.05…
[4]www.nature.com/articles/na…
— 完 —
