OpenAI 创始人盛赞 Rust，却遭开发者反驳：Go 才是大模型眼里的“香饽饽”！

We give a construction of an infinite set of points $A$ in $\mathbb{R}^2$ such that any subset $P\subseteq A$ has a constant density subset $P'$ with no three points collinear and yet $A$ cannot be separated into finitely many subsets such that each subset has no three points collinear. This provides a new proof of a question of Erdős, Nešetřil, and Rödl. The construction was generated by an internal model at OpenAI.