GPT-6 Astra 把 Erdős-Sós 猜想证明推广到有向图

Tom Adamczewski @tmkadamcz原推发布于 2026.09.14

在 X 上打开原推

> 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