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

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

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

圖源：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于上世紀60年代提出，1998年被數學家轉化為跑步場景的表述：N名跑步者以不同恒定速度繞單位長度環(huán)形跑道出發(fā)，每位跑步者均會在某一時刻與其他所有跑步者保持至少1/N的距離。

該猜想看似簡單，卻與數論、幾何學、圖論等多個數學領域的問題等價，應用場景廣泛。

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

Matthieu Rosenfeld

圖源：Quanta Magazine

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

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ù)研究奠定了基礎。此外，Terence Tao（陶哲軒）于2015年提出的速度閾值理論，為此次8-10人情形的證明提供了關鍵理論支撐，讓這一原本看似無解的問題實現了質的突破。

二、核心數學思想

1. 問題等價轉化：

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

2. 速度范圍簡化：

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

3. 速度閾值界定：

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

4. 反例約束推導：

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

5. 計算機輔助證明：

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

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

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

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

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

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

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

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

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

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

四、待解決問題和未來科研攻關方向

（一）當前待解決的核心問題

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

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

2. 猜想的一般性證明：

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

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

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

（二）未來科研攻關方向

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

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

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

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

3. 跨領域的融合研究：

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

4. 舉辦專項學術研討：

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

5. 基礎理論的深化研究：

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

整體而言，孤獨跑步者猜想的研究雖取得了突破性進展，但完整證明仍任重道遠，J?rg M. Wills也推測，該猜想的最終解決可能還需要20-30年的時間，需持續(xù)的理論創(chuà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/

小樂數學科普近期文章

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

讓數學

更加

易學易練

易教易研

易賞易玩

易見易得

易傳易及

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

收藏、分享、轉載、投稿

查看原始文章出處

點擊zzllrr小樂

公眾號主頁

右上角

置頂★加星

數學科普不迷路！