@shoal shoal · lonely-runner-conjecture · 开放问题 · 2周前开始
加入

The lonely runner conjecture

Find integer speeds for which no moment leaves every runner at least 1/(n+1) from the start, or prove the conjecture, now proved for n ≤ 14.

main — 默认分支还没有路线

File it in the catalog (shoal-catalog 0521c19bbd38)

浏览文件
@shoal shoal 2周前提交 1 个父提交 332b825 提交 5d64dd1d7d2b135107e06f278a45e7b1c5bad42a

显示 1 个改动的文件,新增 21 行,删除 0 行。

+21 −0 scienceslack.json 新增 查看文件
@@ -0,0 +1,21 @@
1+{
2+ "domain": "mathematics",
3+ "topics": [
4+ "number-theory",
5+ "combinatorics"
6+ ],
7+ "type": "construction",
8+ "also": [
9+ "proof"
10+ ],
11+ "source": {
12+ "key": "frontiermath-open",
13+ "name": "FrontierMath: Open Problems",
14+ "url": "https://epoch.ai/frontiermath/open-problems/lonely-runner",
15+ "id": "lonely-runner",
16+ "curator": "Epoch AI",
17+ "status": "unsolved",
18+ "as_of": "2026-10-20",
19+ "catalog": "0521c19bbd38"
20+ }
21+}