Erdős Problem #960 — Let be fixed.
Let be fixed. Let be a set of points with no points on a line. Determine the threshold such that if there are at least many ordinary lines (lines containing exactly two points) then there is a set of points such that all many lines determined by are ordinary. Is it true that , or perhaps even ?
References
Primary source
Additional references
UnsolvedMath, Erdős Problems set, ULAM AI, licensed CC BY 4.0.
Progress summary
A 2026 manuscript claims the conjecture is false in every nontrivial case, but its proof has not yet been independently verified.
The problem asks whether sufficiently few ordinary lines in a planar point set with no collinear points force an -point subset whose all connecting lines are ordinary. The proposed negative answer says even quadratically many ordinary lines need not force such a subset.
Known results
- Turán's theorem gives the general upper bound .
April 2026 claimed disproof
A manuscript claims that for , , and , an elliptic-curve construction has no four collinear points, at least ordinary lines, and a bipartite ordinary-line graph, hence no required . It attributes the proof to an internal OpenAI model; the claim remains unverified.
Current status (as of August 2026): A manuscript claims a complete negative resolution for all and , but independent verification is not recorded, so the problem is not settled.
Solutions 0
No solutions have been posted yet.