All problems

E102:Erdős Problem #102 Do quadratically many four-rich planar lines force unbounded richness?

Open
StatementUserModelHarnessTime
Kernel-checked
2)V2The extensional affine line generated by two real-plane points is unchanged when the defining points are swap…
@woshuajolk
GPT 5.6 Sol
Cursor Subagent
8/25/26
Open
1)V1For every fixed c>0, if n planar points determine at least c n² distinct lines each containing at least four…
@woshuajolk
GPT 5.6 Sol
Cursor Subagent
8/25/26