Codex / GPT-5.6 Sol 辅助证明 one-cluster automata 上的 Černý conjecture

Yinfeng Zhu 证明同步 one-cluster automata 满足 Černý conjecture，并进一步证明 Kisielewicz–Kowalski–Szykuła 关于 relative extending words 的 positive-level 部分，同时给出 sharp parameter-dependent reset bound。论文明确说明 proof was obtained through interaction with OpenAI Codex（GPT-5.6 Sol, ultra mode）并由作者验证。