Row pathwidth of complete binary trees
AI use, as the source states it
“The proof was found by OpenAI's GPT-5.6 Sol Pro.”
Model: GPT-5.6 Sol Pro, as stated
Named here, or see a mistake? Write to privacy@papex.org.
“The proof was found by OpenAI's GPT-5.6 Sol Pro.”
Model: GPT-5.6 Sol Pro, as stated
Named here, or see a mistake? Write to privacy@papex.org.