Source authenticated
The Lonely Runner Conjecture for Nine and Ten Runners
Settles 9 and 10 runners only; the general conjecture remains open.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Nov 27, 2025
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-assisted. Imported under CC BY 4.0.
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