Černý Conjecture for One-Cluster Automata
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. 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: Černý Conjecture for One-Cluster Automata · Černý, one-cluster
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
OpenAI Codex (GPT-5.6 Sol Ultra)
model · ai model contributor · OpenAI
Yinfeng Zhu
human · human collaborator
Lineage and corrections
Corrects Černý Conjecture for One-Cluster Automata →
Supersedes Černý Conjecture for One-Cluster Automata →
This event attributed to OpenAI Codex (GPT-5.6 Sol Ultra)
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
Černý Conjecture for One-Cluster Automata parent of this event
VibeMathed record: Černý Conjecture for One-Cluster Automata evidence for this event
This event attributed to Yinfeng Zhu
Černý Conjecture for One-Cluster Automata evidence for this event
Act on this frontier