The Lonely Runner Conjecture for Nine and Ten Runners
Settles 9 and 10 runners only; the general conjecture remains open.
Exact FrontierDelta
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-assisted. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: The Lonely Runner Conjecture for Nine and Ten Runners · Lonely runners, 9 and 10
Confidence: Not scored
Registry verification: unreviewed · preprint · partial
Attribution
VibeMathed
registry · event recorded by
GPT-5
model · ai model contributor · OpenAI
Tanupat Trakulthongchai
human · human collaborator
Lineage and corrections
Corrects The Lonely Runner Conjecture for Nine and Ten Runners →
Supersedes The Lonely Runner Conjecture for Nine and Ten Runners →
The Lonely Runner Conjecture for Nine and Ten Runners evidence for this event
VibeMathed record: The Lonely Runner Conjecture for Nine and Ten Runners evidence for this event
The Lonely Runner Conjecture for Nine and Ten Runners parent of this event
This event attributed to GPT-5
Settles 9 and 10 runners only; the general conjecture remains open. parent of this event
This event attributed to Tanupat Trakulthongchai
Act on this frontier