On dimension of posets excluding a standard example
Jędrzej Hodor, Piotr Micek, William T. Trotter
AI use, as the source states it
“The proofs were found by OpenAI's ChatGPT-6 Astra.”
Model: ChatGPT-6 Astra, as stated
Named here, or see a mistake? Write to privacy@papex.org.