AI proof of the Erdős–Sós conjecture

(arxiv.org)

5 points | by tadamcz 4 hours ago ago