Erdős problem 188
What is the smallest such that can be red/blue coloured with no pair of red points unit distance apart, and no -term arithmetic progression of blue points with distance 1?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/188.leanIsLeast Erdos188.s sorryOpenStatement only, no proof