Treglown's equitable acyclic colouring conjecture
The honest reading, which the paper gives itself: the reduction is implicit in earlier work of Aboulker, Oijid, Petit, Rocton and Simon, and the model itself surfaced that reference when asked about originality. So this establishes the conjecture and supplies a polynomial-time algorithm, while the underlying idea is a rediscovery rather than a first. It is a striking record of a model producing an argument and then correcting the novelty claim made for it.
Exact FrontierDelta
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. 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: Treglown's equitable acyclic colouring conjecture · Treglown's conjecture
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
ChatGPT 5.6 Sol
model · ai model contributor · OpenAI
Louis DeBiasio
human · human collaborator
Hal Kierstead
human · human collaborator
Lineage and corrections
Corrects Treglown's equitable acyclic colouring conjecture →
Supersedes Treglown's equitable acyclic colouring conjecture →
Treglown 2015 - Problem statement evidence for this event
VibeMathed record: Treglown's equitable acyclic colouring conjecture evidence for this event
This event attributed to Hal Kierstead
The honest reading, which the paper gives itself: the reduction is implicit in earlier work of Aboulker, Oijid, Petit, Rocton and Simon, and the model itself surfaced that reference when asked about originality. So this establishes the conjecture and supplies a polynomial-time algorithm, while the underlying idea is a rediscovery rather than a first. It is a striking record of a model producing an argument and then correcting the novelty claim made for it. parent of this event
This event attributed to Louis DeBiasio
Treglown's equitable acyclic colouring conjecture evidence for this event
This event attributed to ChatGPT 5.6 Sol
Treglown's equitable acyclic colouring conjecture parent of this event
Act on this frontier