Publication v3
Canonical question, exact result scopes, proof evidence, contributors, history and explanatory examples.
Formal proofs: No complete proof-assistant artifact was identified in the selected paper. The source supplies linear-algebra and combinatorial proofs; the finite example trace is explanatory.
AI-assisted work: Zhu’s author verification and model assistance are disclosed in the manuscript; they are separate from an independent OpenMath review.
Selected primary manuscript versions and their cited original literature, checked on 14 October 2026. This is not an exhaustive literature review.
Checked Oct 14, 2026 · independent review pending.
General Černý conjecture remains open · observed Oct 14, 2026
Source status dated Jul 22, 2026 · observed Oct 14, 2026
All complete synchronizing deterministic finite automata.
Yinfeng Zhu · metadata-link · Source document rights apply; OpenMath publishes original paraphrases.
Linked proof prose is not republished. Any copied graph data is CC0, as specified by its archive. Rights / source terms
cerny-synchronization:entry:question:v1cerny-synchronization:entry:positive-level:v1cerny-synchronization:entry:sharpness:v1cerny-synchronization:entry:circular:v1Source-linked pilot import; independent mathematical review remains pending.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.