The Černý Conjecture for One-Cluster Automata via Annular Spectral Descent
AI use, as the source states it
“The proof was obtained through interaction with OpenAI Codex (GPT-5.6 Sol, ultra mode) and verified by the author.”
Model: OpenAI Codex, GPT-5.6 Sol, as stated
Named here, or see a mistake? Write to privacy@papex.org.