陶哲軒最新力作，在" 自然數倒數之和是否爲有理數 "問題上取得一系列進展。
其中最引人矚目的一項成果，就是證明了一個非常反直覺的猜想，居、然、是、對、的：
存在一個遞增的自然數級數 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 美元的獎金。
這些燦爛又迷人的遺産，直到今天仍激勵着每一位數學家，推動數學的進步，也讓後來者從中獲得新的視角和靈感。
論文地址：
https://arxiv.org/abs/2406.17593v3
參考鏈接：
[ 1 ] https://mathstodon.xyz/@tao/113559149269764165
[ 2 ] https://terrytao.wordpress.com/2024/11/27/on-several-irrationality-problems-for-ahmes-series/
[ 3 ] https://arxiv.org/pdf/1509.05363
[ 4 ] https://www.nature.com/articles/nature.2015.18441
