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

5 points | by tadamcz an hour ago

No comments yet