The directed Erdős-Sós theorem (Mubayi and Verstraëte 2026) states that every Eulerian digraph on vertices and with more than
arcs contains every oriented
tree having
arcs. An Eulerian
digraph has equal indegree and outdegree
at every vertex. The bound is sharp.
The result is a directed analogue of the Erdős-Sós theorem for ordinary graphs. Mubayi and Verstraëte (2026) credit GPT-6 Astra with producing the proof after the authors posed the problem, and report that they checked and rewrote the argument. As of Sep. 22, 2026, independent specialist review had not been reported.