gpt-6IMAGE
GPT-6 Astra extends Erdős-Sós conjecture proof to directed graphs
A paper noted that Astra's method for proving the Erdős-Sós conjecture should also apply to directed graphs, so the authors prompted Astra to prove the corresponding theorems.
Tom Adamczewski
@tmkadamczArchived 2026.09.14Originally posted 2026.09.14
Tom Adamczewski @tmkadamczOriginally posted 2026.09.14
> The authors merely observed that the method of GPT-6 Astra’s recent proof of the Erdős-Sós conjecture should apply in the directed setting as well and prompted GPT-6 Astra to prove the corresponding theorems for directed graphs https://arxiv.org/pdf/2609.10987v1
x.com/tmkadamcz/status/2099246878269583695Archived 2026.09.14 16:19