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