Claims

../

2026_02_24_putterman_sawhney_valiant: An infinite plane set in which every n points contain n/2 with no three collinear, yet which is no finite union of such sets; a preprint whose construction an internal OpenAI model produced, credited by the curator.

2026_02_25_deepmind: A Lean proof, found autonomously from the formal statement, that an infinite plane set can have dense collinear-free subsets without being a finite union of collinear-free sets; credited by the site's curator.

---