Four collinear points or six visible points

Abstract

Every finite planar set of at least $880$ points contains four collinear points or six pairwise visible points.

arXiv comment3 pages, 1 figure. Improvement on https://arxiv.org/abs/2608.19468. Not to be published; a 2 page AI version was essentially reviewed by the author