{"id":"arxiv/2610.04194","url":"https://arxiv.org/abs/2610.04194","tags":["math.CO"],"score":0,"title":"Sparse coloring for isosceles-free grids: an AI-assisted proof case study","domain":"math.CO","source":"arxiv","authors":["Yukai Song"],"reviews":0,"subject":"math.CO","summary":"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\\sqrt{\\log\\log n/\\log n}\\right)$ by applying the sparse hypergraph coloring theorem of Cooper and Mubayi. Elementary geometry and primitive-direction counts give maximum degree $O(n^2\\log n)$ and pair-codegree at most $5n$ for the forbidden-triple hypergraph. The resulting bound improves the explicit guarantee in PatternBoost by a factor of order $\\sqrt{\\log\\log n}$. Recovered interaction records document how a Codex…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-03","reactions":{}}