AI proof of the Erdős–Sós conjecture(arxiv.org)6 points by tadamcz 25 days ago | 0 commentsNo comments yet