數(shù)學(xué)難題進展速遞：解讀《量子雜志》報道孤獨跑步者猜想獲得新突破

★置頂zzllrr小樂公眾號（主頁右上角）數(shù)學(xué)科普不迷路！

一個關(guān)于選手繞跑道跑步的簡單猜想，竟與諸多復(fù)雜的數(shù)學(xué)問題等價。三項新的證明，標(biāo)志著該問題在數(shù)十年里迎來了首次重大進展。

是否每位跑步者，都有某個時刻與其他所有人相距甚遠？當(dāng)跑步者數(shù)量寥寥時，答案是肯定的。而隨著人數(shù)增加，這個問題的難度會呈指數(shù)級攀升。

圖源：Quanta Magazine

一、原文大意

量子雜志Quanta Magazine近期文章 https://www.quantamagazine.org/new-strides-made-on-deceptively-simple-lonely-runner-problem-20260306/ 圍繞孤獨跑步者猜想（Lonely Runner Conjecture）展開。

J?rg M. Wills

圖源：Quanta Magazine

該猜想由J?rg M. Wills于上世紀(jì)60年代提出，1998年被數(shù)學(xué)家轉(zhuǎn)化為跑步場景的表述：N名跑步者以不同恒定速度繞單位長度環(huán)形跑道出發(fā)，每位跑步者均會在某一時刻與其他所有跑步者保持至少1/N的距離。

該猜想看似簡單，卻與數(shù)論、幾何學(xué)、圖論等多個數(shù)學(xué)領(lǐng)域的問題等價，應(yīng)用場景廣泛。

此前該猜想的證明研究長期停滯，2007年被證明至7人情形后，二十年無新突破。

Matthieu Rosenfeld

圖源：Quanta Magazine

2025年Matthieu Rosenfeld通過計算機輔助證明了8人情形（文獻鏈接：https://arxiv.org/abs/2509.14111），短短數(shù)周后，牛津大學(xué)本科生Tanupat (Paul) Trakulthongchai在其研究基礎(chǔ)上，進一步證明了9人和10人情形（文獻鏈接：https://arxiv.org/abs/2511.22427），這是該猜想數(shù)十年間的首次重大進展。

Tanupat (Paul) Trakulthongchai

圖源：Quanta Magazine

而早在2001年，Tom Bohman、Ron Holzman、Dan Kleitman就已完成6人情形的證明（文獻鏈接：https://www.combinatorics.org/ojs/index.php/eljc/article/view/v8i2r3 ），為后續(xù)研究奠定了基礎(chǔ)。此外，Terence Tao（陶哲軒）于2015年提出的速度閾值理論，為此次8-10人情形的證明提供了關(guān)鍵理論支撐，讓這一原本看似無解的問題實現(xiàn)了質(zhì)的突破。

二、核心數(shù)學(xué)思想

1. 問題等價轉(zhuǎn)化：

將最初的無理數(shù)分?jǐn)?shù)逼近問題轉(zhuǎn)化為環(huán)形跑道的跑步場景，同時該猜想還可等價于方格紙直線避障問題，實現(xiàn)跨領(lǐng)域的問題拆解與研究，借助數(shù)論、幾何、圖論等多領(lǐng)域工具解決問題。

2. 速度范圍簡化：

數(shù)學(xué)家發(fā)現(xiàn)無需驗證所有無限種速度組合，只需證明整數(shù)速度情形成立，即可推導(dǎo)出猜想在分?jǐn)?shù)、無理數(shù)速度下的一般性結(jié)論，大幅減少問題研究的復(fù)雜度。

3. 速度閾值界定：

陶哲軒提出核心理論——若猜想在低速度范圍成立，則在高速度范圍必然成立，對于給定數(shù)量的跑步者，僅需驗證不超過某一特定閾值的整數(shù)速度即可，將無限次計算簡化為理論上的有限次計算。

4. 反例約束推導(dǎo)：

Rosenfeld采用反證法重構(gòu)問題，推導(dǎo)若猜想存在反例（某名跑步者永遠不孤獨），則反例中所有跑步者的速度乘積必須被特定質(zhì)數(shù)整除，且該乘積會達到極大值；結(jié)合Tao的閾值理論，證明該極大值遠超閾值，從而推導(dǎo)出反例不存在。

5. 計算機輔助證明：

依托數(shù)論思想設(shè)計算法，利用計算機驗證海量的速度組合與質(zhì)數(shù)整除性條件，將理論上的有限次計算轉(zhuǎn)化為實際可操作的研究手段，成為證明8-10人情形的核心方法。

三、主要創(chuàng)新點

（一）Matthieu Rosenfeld對8人情形證明的創(chuàng)新

1. 融合Tao的速度閾值理論與反證法，首次將速度乘積作為核心研究指標(biāo)，明確反例的速度乘積需滿足的質(zhì)數(shù)整除約束，為后續(xù)研究建立了統(tǒng)一的分析框架，且該方法可適配4-7人已證明的情形。

2. 優(yōu)化計算機輔助證明（CAP）的算法設(shè)計，將數(shù)論中的質(zhì)數(shù)分析與計算機的海量驗證結(jié)合，解決了Tao理論中“有限次計算但實操性極低”的問題，實現(xiàn)了8人情形的首次證明，打破了該猜想二十年的研究停滯。

（二）Tanupat (Paul) Trakulthongchai對9-10人情形證明的創(chuàng)新

1. 在Rosenfeld的研究框架下，開發(fā)了篩法（sieve） 優(yōu)化的計算技術(shù)，能更精準(zhǔn)、高效地鎖定反例的速度乘積所需的質(zhì)因數(shù)條件，大幅提升了計算機驗證的效率，成功排除9人和10人情形下的所有反例。

2. 作為本科生實現(xiàn)了從8人到10人的連續(xù)突破，驗證了Rosenfeld研究方法的可拓展性，證明了統(tǒng)一研究框架對解決該猜想的有效性，改變了此前“每增加一名跑步者就需要全新證明方法”的研究現(xiàn)狀。

（三）整體研究的方法論創(chuàng)新

此前對該猜想的證明均采用特殊性方法，不同人數(shù)情形需用完全不同的工具與思路；而此次8-10人情形的證明采用了統(tǒng)一的研究思路，將數(shù)論、計算機科學(xué)融合，實現(xiàn)了“一種方法解決三種情形”，為該猜想的一般性證明提供了全新的方法論參考。

四、待解決問題和未來科研攻關(guān)方向

（一）當(dāng)前待解決的核心問題

1. 11人及以上情形的證明：

Rosenfeld和Trakulthongchai的方法存在計算成本過高的問題，無法直接拓展至11人及以上情形，成為當(dāng)前研究的直接卡點。

2. 猜想的一般性證明：

目前僅證明了10人及以下的有限情形，尚未找到適用于任意N名跑步者的通用證明方法，數(shù)學(xué)家也尚未就猜想是否對所有N成立達成共識。

3. 計算效率的瓶頸突破：

現(xiàn)有計算機輔助證明的算法，在跑步者數(shù)量增加時，速度組合與質(zhì)因數(shù)驗證的計算量呈指數(shù)級增長，缺乏更高效的算法與算力支撐。

（二）未來科研攻關(guān)方向

1. 研究思路的全新突破：

正如Trakulthongchai所言，證明11人及以上情形需要全新的研究視角，需跳出當(dāng)前的“速度閾值+反例約束+計算機驗證”框架，探索新的數(shù)學(xué)理論與分析方法。

2. 算法與算力的雙重優(yōu)化：

針對計算機輔助證明（CAP），研發(fā)更高效的數(shù)論計算算法，結(jié)合高性能計算、分布式計算等技術(shù)，降低大數(shù)量跑步者情形下的計算成本，實現(xiàn)研究方法的可拓展性。

3. 跨領(lǐng)域的融合研究：

該猜想涉及數(shù)論、組合數(shù)學(xué)、離散數(shù)學(xué)、幾何學(xué)等多個領(lǐng)域，未來需匯聚各領(lǐng)域研究者開展交叉研究，通過不同領(lǐng)域的交流與融合，挖掘新的解題思路，如結(jié)合圖論、優(yōu)化理論等工具重構(gòu)問題。

4. 舉辦專項學(xué)術(shù)研討：

如Matthias Schymura等人，通過籌備專項研討會整合全球研究成果，集中攻克猜想的關(guān)鍵難點，尋找潛在的一般性證明方法或反例。

5. 基礎(chǔ)理論的深化研究：

進一步完善陶哲軒的速度閾值理論，探索更精準(zhǔn)的閾值計算方法，或發(fā)現(xiàn)新的數(shù)學(xué)規(guī)律來約束反例的存在條件，從理論層面降低問題的研究復(fù)雜度，為一般性證明奠定基礎(chǔ)。

整體而言，孤獨跑步者猜想的研究雖取得了突破性進展，但完整證明仍任重道遠，J?rg M. Wills也推測，該猜想的最終解決可能還需要20-30年的時間，需持續(xù)的理論創(chuàng)新與跨領(lǐng)域合作。

參考資料

https://www.quantamagazine.org/new-strides-made-on-deceptively-simple-lonely-runner-problem-20260306/

https://arxiv.org/abs/2511.22427

https://arxiv.org/abs/2509.14111

https://www.combinatorics.org/ojs/index.php/eljc/article/view/v8i2r3

https://terrytao.wordpress.com/2017/01/10/some-remarks-on-the-lonely-runner-conjecture/

小樂數(shù)學(xué)科普近期文章

·開放 · 友好 · 多元 · 普適 · 守拙·

讓數(shù)學(xué)

更加

易學(xué)易練

易教易研

易賞易玩

易見易得

易傳易及

歡迎評論、點贊、在看、在聽

收藏、分享、轉(zhuǎn)載、投稿

查看原始文章出處

點擊zzllrr小樂

公眾號主頁

右上角

置頂★加星

數(shù)學(xué)科普不迷路！