erdős #102
Let and be such that for any points in such that there are lines each containing more than three points, there must be some line containing many points. Estimate . Is it true that, for fixed , we have ?
Worked, still open.
geometry · open · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsevidence
unverified AI candidates (2)
gpt-erdos · GPT-5.2 Pro + Deep Research · unverified
Let $L$ be the number of distinct lines that contain at least $4$ of the $n$ points, and assume [ L \ge c n^{2}. ] Define $h_c(n)$ as the largest function such that **every** such configuration has **some** line containing at least $h_c(n)$ points.
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗links
Create a formalisation here · link
status
open