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: Nov 27, 2025
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-assisted. Editorial metadata: CC BY 4.0; linked content retains its 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
Tanupat Trakulthongchai
human · human collaborator
GPT-5
model · ai model contributor · OpenAI
Lineage and corrections
This event attributed to Tanupat Trakulthongchai
This event attributed to GPT-5
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
Settles 9 and 10 runners only; the general conjecture remains open. parent of this event
Act on this frontier