Erd\H{o}s-S\'{o}s via random cyclic orderings
A simplified proof of the Erd\H{o}s-S-S\'os conjecture on trees in graphs is presented, which is based on its recent resolution by GPT-6 Astra and characterized the extremal examples for Kalai's conjecture.