量子杂志Quanta Magazine近期文章https://www.quantamagazine.org/new-strides-made-on-deceptively-simple-lonely-runner-problem-20260306/围绕孤独跑步者料想（Lonely Runner Conjecture）展开。

J"org M. Wills

图源：Quanta Magazine

该(gai)料想由J"org M. Wills于上世纪60年代提出，1998年被数学(xue)家(jia)转化为跑步场景的表述：N名跑步者以不(bu)同恒定速度绕单位长度环(huan)形跑道出发(fa)，每位跑步者均会在某一时候与其他所有跑步者保持至少1/N的距离(li)。

该(gai)料想看似简单，却(que)与数论、几何学(xue)、图论等多个数学(xue)领(ling)域的问题等价，应用场景广泛。

此前该(gai)料想的证明研讨长期停滞，2007年被证明至7人情形后，二十年无新突破。

Matthieu Rosenfeld

图源：Quanta Magazine

2025年Matthieu Rosenfeld通(tong)过计算机辅助证明了8人情形（文献链接：https://arxiv.org/abs/2509.14111），短短数周后，牛津(jin)大学(xue)本科生Tanupat (Paul) Trakulthongchai在其研讨基础上，进一步证明了9人和10人情形（文献链接：https://arxiv.org/abs/2511.22427），这是该(gai)料想数十年间的首次重猛进展。

Tanupat (Paul) Trakulthongchai

图源：Quanta Magazine

而早在2001年，Tom Bohman、Ron Holzman、Dan Kleitman就已完(wan)成6人情形的证明（文献链接：https://www.combinatorics.org/ojs/index.php/eljc/article/view/v8i2r3），为后续研讨奠基了基础。此外，Terence Tao（陶哲轩）于2015年提出的速度阈值(zhi)实际，为此次8-10人情形的证明提供了关键实际支撑，让这一原本看似无解(jie)的问题实现了质的突破。

二、核(he)心数学(xue)头脑

1. 问题等价转化：

将最初的无理数分数逼近问题转化为环(huan)形跑道的跑步场景，同时该(gai)料想还可(ke)等价于方格纸(zhi)直线避障问题，实现跨领(ling)域的问题拆解(jie)与研讨，借助数论、几何、图论等多领(ling)域对象办理问题。

2. 速度范围简化：

数学(xue)家(jia)发(fa)现无需验证所有无限种(zhong)速度组合，只需证明整数速度情构成立，便可(ke)推导出料想在分数、无理数速度下的一般性结论，大幅减少问题研讨的复杂度。

3. 速度阈值(zhi)界定：

陶哲轩提出核(he)心实际——若料想在低(di)速度范围成立，则在高速度范围必(bi)然成立，对付给定数量的跑步者，仅需验证不(bu)凌驾某一特定阈值(zhi)的整数速度便可(ke)，将无限次计算简化为实际上的无限次计算。

4. 反例约(yue)束推导：

Rosenfeld采用反证法重构问题，推导若料想存在反例（某名跑步者永远不(bu)孤独），则反例中(zhong)所有跑步者的速度乘积必(bi)需被特定质数整除，且(qie)该(gai)乘积会到达(da)极大值(zhi)；结合Tao的阈值(zhi)实际，证明该(gai)极大值(zhi)远超阈值(zhi)，从而推导出反例不(bu)存在。

5. 计算机辅助证明：

依(yi)托数论头脑设计算法，利(li)用计算机验证海量的速度组合与质数整除性前提，将实际上的无限次计算转化为实际可(ke)操作的研讨手段，成为证明8-10人情形的核(he)心要(yao)领(ling)。

三、主要(yao)创新点

（一）Matthieu Rosenfeld对8人情形证明的创新

1. 融合Tao的速度阈值(zhi)实际与反证法，首次将速度乘积作为核(he)心研讨指标(biao)，明确反例的速度乘积需满意的质数整除约(yue)束，为后续研讨创建了统一的阐(chan)明框架，且(qie)该(gai)要(yao)领(ling)可(ke)适配4-7人已证明的情形。

2. 优化计算机辅助证明（CAP）的算法设计，将数论中(zhong)的质数阐(chan)明与计算机的海量验证结合，办理了Tao实际中(zhong)“无限次计算但实操性极低(di)”的问题，实现了8人情形的首次证明，打破了该(gai)料想二十年的研讨停滞。

（二）Tanupat (Paul) Trakulthongchai对9-10人情形证明的创新

1. 在Rosenfeld的研讨框架下，开发(fa)了筛(shai)法（sieve） 优化的计算技术，能更精准、高效地锁(suo)定反例的速度乘积所需的质因数前提，大幅提升了计算机验证的效率，成功排除9人和10人情形下的所有反例。

2. 作为本科生实现了从8人到10人的连续突破，验证了Rosenfeld研讨要(yao)领(ling)的可(ke)拓展性，证明了统一研讨框架对办理该(gai)料想的有效性，转变了此前“每增加一位跑步者就必(bi)要(yao)全(quan)新证明要(yao)领(ling)”的研讨现状。

（三）整体研讨的要(yao)领(ling)论创新

此前对该(gai)料想的证明均采用特殊性要(yao)领(ling)，不(bu)同人数情形需用完(wan)整不(bu)同的对象与思路；而此次8-10人情形的证明采用了统一的研讨思路，将数论、计算机科学(xue)融合，实现了“一种(zhong)要(yao)领(ling)办理三种(zhong)情形”，为该(gai)料想的一般性证明提供了全(quan)新的要(yao)领(ling)论参考。

四、待办理问题和未(wei)来科研攻关方向

（一）当(dang)前待办理的核(he)心问题

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

Rosenfeld和Trakulthongchai的要(yao)领(ling)存在计算成本过高的问题，无法直接拓展至11人及以上情形，成为当(dang)前研讨的直接卡点。

2. 料想的一般性证明：

目前仅证明了10人及以下的无限情形，还没有找到适用于肆意N名跑步者的通(tong)用证明要(yao)领(ling)，数学(xue)家(jia)也还没有就料想是不(bu)是对所有N成立达(da)成共鸣(ming)。

3. 计算效率的瓶颈突破：

现有计算机辅助证明的算法，在跑步者数量增加时，速度组合与质因数验证的计算量呈指数级增进，缺少更高效的算法与算力支撑。

（二）未(wei)来科研攻关方向

1. 研讨思路的全(quan)新突破：

正如Trakulthongchai所言，证明11人及以上情形必(bi)要(yao)全(quan)新的研讨视角，需跳出当(dang)前的“速度阈值(zhi)+反例约(yue)束+计算机验证”框架，探索新的数学(xue)实际与阐(chan)明要(yao)领(ling)。

2. 算法与算力的两(liang)重优化：

针对计算机辅助证明（CAP），研发(fa)更高效的数论计算算法，结合高性能计算、分布式计算等技术，低(di)落大数量跑步者情形下的计算成本，实现研讨要(yao)领(ling)的可(ke)拓展性。

3. 跨领(ling)域的融合研讨：

该(gai)料想涉及数论、组合数学(xue)、离(li)散数学(xue)、几何学(xue)等多个领(ling)域，未(wei)来需汇(hui)聚各领(ling)域研讨者开展交叉研讨，通(tong)过不(bu)同领(ling)域的交换与融合，发(fa)掘新的解(jie)题思路，如结合图论、优化实际等对象重构问题。

4. 举办专项学(xue)术研讨：

如Matthias Schymura等人，通(tong)过筹备专项研讨会整合环(huan)球(qiu)研讨结果，会合霸占料想的关键难点，寻找潜伏(fu)的一般性证明要(yao)领(ling)或(huo)反例。

5. 基础实际的深化研讨：

进一步完(wan)善陶哲轩的速度阈值(zhi)实际，探索更精准的阈值(zhi)计算要(yao)领(ling)，或(huo)发(fa)现新的数学(xue)规律来约(yue)束反例的存在前提，从实际层面低(di)落问题的研讨复杂度，为一般性证明奠基基础。

整体而言，孤独跑步者料想的研讨虽取得(de)了突破性进展，但完(wan)整证明仍任重道远，J"org M. Wills也推测，该(gai)料想的最终办理大概还必(bi)要(yao)20-30年的时间，需连续的实际创新与跨领(ling)域互(hu)助。

参考资料

参考资料

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/