Approximate counting of vertices of 0/1 polytopes: a stronger hardness result
AI use, as the source states it
“The main proof ideas were found using GPT-5.6 Sol Ultra.”
Model: GPT-5.6 Sol Ultra, as stated
Named here, or see a mistake? Write to privacy@papex.org.