Kalai's Conjecture for Tight Trees
Dhruv Mubayi, Jacques Verstraete
AI use, as the source states it
“The proof was found by GPT-6 Astra, extending its method of proof for the Erd\H os-Sós conjecture to the hypergraph setting.”
Model: GPT-6 Astra, as stated
Named here, or see a mistake? Write to privacy@papex.org.