Sparse coloring for isosceles-free grids: an AI-assisted proof case study

Yukai Song

We study the largest size $C(n)$ of a subset of the $n\times n$ integer grid containing no isosceles triple, including equally spaced collinear triples. We prove $C(n)=Ω\left(n\sqr…