AI proof of the Erdős–Sós conjecture | Dark Hacker News